-special MMType
- redef readable attr _module: MMModule
- redef meth is_nullable: Bool do return true
- redef meth <(t) do return t isa MMTypeNone or t isa MMNullableType
- redef meth to_s do return "null"
- redef meth is_supertype(t) do return false
- redef meth local_class do abort
- redef meth upcast_for(c) do abort
- redef meth as_nullable do return self
- redef meth as_notnull do abort
-
- private init(m: MMModule) do _module = m
+ super MMType
+ redef readable var _mmmodule: MMModule
+ redef fun is_nullable: Bool do return true
+ redef fun <(t) do return t isa MMTypeNone or t isa MMNullableType
+ redef fun to_s do return "null"
+ redef fun is_supertype(t) do return false
+ redef fun local_class do abort
+ redef fun upcast_for(c) do abort
+ redef fun as_nullable do return self
+ redef fun as_notnull do abort
+
+ private init(m: MMModule) do _mmmodule = m