od | Data.Type.Ordinal |
OLt | Data.Type.Ordinal |
One | |
1 (Type/Class) | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
2 (Type/Class) | Data.Type.Natural |
one | Data.Type.Natural |
OneSym0 | Data.Type.Natural |
Ordinal | Data.Type.Ordinal |
ordToInt | Data.Type.Ordinal |
ordToSing | Data.Type.Ordinal |
ordToSing' | Data.Type.Ordinal |
OS | Data.Type.Ordinal |
OZ | Data.Type.Ordinal |