A very stupid type that does nothing more than store a TypeValue and a key. Is is useful to break cycles in type systems. The value of KeyType.init must equal nullvalue;
See Source File