Returns whether this type contains no variables.
Returns whether this type is subtype-equal to Omega
.
Returns the size of the AST 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.
Parenthesizes the String s
Returns the String representation of this type.
Returns the String representation of this type.
(Since version ) see corresponding Javadoc for more information.
Abstract base for all intersection types.