od | Data.Type.Ordinal |
One | Data.Type.Natural |
one | Data.Type.Natural |
OneSym0 | Data.Type.Natural |
Ordinal | Data.Type.Ordinal |
ordToInt | Data.Type.Ordinal |
ordToSNat | Data.Type.Ordinal |
ordToSNat' | Data.Type.Ordinal |
OS | Data.Type.Ordinal |
OZ | Data.Type.Ordinal |
od | Data.Type.Ordinal |
One | Data.Type.Natural |
one | Data.Type.Natural |
OneSym0 | Data.Type.Natural |
Ordinal | Data.Type.Ordinal |
ordToInt | Data.Type.Ordinal |
ordToSNat | Data.Type.Ordinal |
ordToSNat' | Data.Type.Ordinal |
OS | Data.Type.Ordinal |
OZ | Data.Type.Ordinal |