type-natural-1.3.0.2: 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
OrdCondData.Type.Natural.Lemma.Order
ordCondDistribData.Type.Natural.Lemma.Order
OrderingIData.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