decideCoercion | Data.Singletons.Decide |
decideEquality | Data.Singletons.Decide |
Decision | Data.Singletons.Decide |
Demote | Data.Singletons |
demote | Data.Singletons |
demote1 | Data.Singletons |
demote2 | Data.Singletons |
DemoteSym0 | Data.Singletons |
DemoteSym1 | Data.Singletons |
Disproved | Data.Singletons.Decide |