Returns whether this type contains no variables.
Returns whether this type contains no variables.
Returns whether this type is subtype-equal to Omega
.
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 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
.
Returns the String representation of this type, parenthesized according to the precedence level prec
.
Higher precedence levels call for more parenthesis.
(Since version ) see corresponding Javadoc for more information.
Represents intersections between types. Intersections have precedence level 10, so all operators with levels below 10 need parenthesis when converted into strings.