Demote | Data.Type.Natural |
demote | Data.Type.Natural |
DemoteSym0 | Data.Type.Natural |
DemoteSym1 | Data.Type.Natural |
DiffNat | |
1 (Type/Class) | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
2 (Data Constructor) | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |