- readable attr _bound: MMType
-
- redef meth <(t) do return t != null and (t == self or t.is_supertype(_bound))
- redef meth is_supertype(t) do return _bound.is_supertype(t)
- redef meth direct_type do return _bound.direct_type
- redef meth local_class
- do
- if _bound == null then return null
- return _bound.local_class
- end