type_parameter_at
ErrorsCollection

type_parameter_at

Synthesised documentation from type/Metamodel/Primitives

From type/Metamodel/Primitives

See Original text in context

method type_parameter_at(Mu \objInt:D \idx --> Muis raw

Returns a particular object from a parameterization given its resulting obj and an index, skipping the List-building step of type_parameters. Dies if none was ever performed.