type-natural-1.0.0.0: Type-level natural and proofs of their properties.

Index - O

odData.Type.Ordinal, Data.Type.Ordinal.Builtin
OLtData.Type.Ordinal, Data.Type.Ordinal.Builtin
OneData.Type.Natural.Lemma.Arithmetic, Data.Type.Natural, Data.Type.Natural.Builtin
OrdinalData.Type.Ordinal, Data.Type.Ordinal.Builtin
ordToNaturalData.Type.Ordinal, Data.Type.Ordinal.Builtin
ordToSNatData.Type.Ordinal, Data.Type.Ordinal.Builtin
OSData.Type.Ordinal, Data.Type.Ordinal.Builtin
OZData.Type.Ordinal, Data.Type.Ordinal.Builtin