Returns whether this type contains no variables.
Returns whether this type is subtype-equal to Omega
.
Parenthesizes the String s
Parenthesizes the String s
Returns the size of the AST of this type.
Returns the String representation of this type.
Returns the String representation of this type.
Returns the String representation of this type, parenthesized according to the precedence level prec
.
(Since version ) see corresponding Javadoc for more information.
Represents a product of two types.