name,shortName

Usage

name T
shortName T

Signature

name,shortName:

Type $\to$ String

Parameter	Type	Description
T	Type	A type

Returns

Returns the name of the type T. In case T is the result of a function call $F(T_1,\dots,T_n)$, then name(T) returns the full expanded name of the type, while shortName(T) returns $F(\ast,\dots,\ast)$.