type_parameterized
ErrorsCollection

type_parameterized

Synthesised documentation from type/Metamodel/Primitives

From type/Metamodel/Primitives

See Original text in context

method type_parameterized(Mu \obj --> Mu)

Returns the base metaobject from a parameterization given its resulting obj. Returns Mu if none was ever performed.