od | Data.Type.Ordinal, Data.Type.Ordinal.Builtin |
OLt | Data.Type.Ordinal, Data.Type.Ordinal.Builtin |
One | Data.Type.Natural.Lemma.Arithmetic, Data.Type.Natural, Data.Type.Natural.Builtin |
Ordinal | Data.Type.Ordinal, Data.Type.Ordinal.Builtin |
ordToNatural | Data.Type.Ordinal, Data.Type.Ordinal.Builtin |
ordToSNat | Data.Type.Ordinal, Data.Type.Ordinal.Builtin |
OS | Data.Type.Ordinal, Data.Type.Ordinal.Builtin |
OZ | Data.Type.Ordinal, Data.Type.Ordinal.Builtin |