avail/avail.descriptor.types/A_Type/isTop

isTop

abstract val isTop: Boolean
Content copied to clipboard

Answer whether this type is ⊤ (top), the most general type.

Return

Whether the type is type.