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 arrows between types. Intersections have precedence level 9, so all operators with levels below 9 need parenthesis when converted into strings.