is Vacuous Type
Answer whether this type is known to have no instances. For example, the BottomTypeDescriptor (denoted ⊥) has no instances.
Return
Whether the type is known to have no instances.
Answer whether this type is known to have no instances. For example, the BottomTypeDescriptor (denoted ⊥) has no instances.
Whether the type is known to have no instances.