Returns whether this type contains no variables.
Returns whether this type is subtype-equal to Omega
.
Parenthesizes the String s
Parenthesizes the String s
Omega has no paths, so its organization is the empty intersection
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.
The universal intersection type ω, which is a supertype of everything.