avail
2.0.0.alpha23
jvm
avail
/
avail.descriptor.types
/
A_Type
/
isTop
is
Top
abstract
val
isTop
:
Boolean
Answer whether this type is ⊤ (
top
), the most general type.
Return
Whether the type is type.