See Original text in context
method type_parameters(Mu \obj --> List:D)
Returns the type arguments' object buffer from a parameterization given its resulting obj. Dies if none was ever performed.
obj
