☰
Type
Type
Functions
string representation of this type to be used for debugging.
result has the form "Type of '<name>'", but this might change in the future
result has the form "Type of '<name>'", but this might change in the future
There is no dynamic type of a type instance since this would result in an
endless hierachy of types, so dynamic_type is redefined to just return
Type.type here.
endless hierachy of types, so dynamic_type is redefined to just return
Type.type here.
type features 'f.type' are declared implicitly for every feature f.
Type features do not contain state, they are unit types.
All type features inherit directly (Any.type) or indirectly (all
others type features) from this feature.