See Original text in context
method shortname($definite_type)
Returns the shortname of a definite type.
