☰
Type_STATIC
🌌Type_STATIC
Type_STATIC -- direct parent feature of all type features
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 from this feature.