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 intersection type constructors.