- isEmptyType :: MonadTCM tcm => Type -> tcm ()
- isEmptyTypeC :: MonadTCM tcm => Type -> tcm Constraints
Documentation
isEmptyType :: MonadTCM tcm => Type -> tcm ()Source
Make sure that a type is empty.
isEmptyTypeC :: MonadTCM tcm => Type -> tcm ConstraintsSource