- isReallyEmptyType :: Type -> TCM ()
- isEmptyType :: Type -> TCM ()
Documentation
isReallyEmptyType :: Type -> TCM ()Source
Make sure that a type is empty.
isEmptyType :: Type -> TCM ()Source
isReallyEmptyType :: Type -> TCM ()Source
Make sure that a type is empty.
isEmptyType :: Type -> TCM ()Source