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

Index - O

odData.Type.Ordinal
OneData.Type.Natural
oneData.Type.Natural
OneSym0Data.Type.Natural
OrdinalData.Type.Ordinal
ordToIntData.Type.Ordinal
ordToSNatData.Type.Ordinal
ordToSNat'Data.Type.Ordinal
OSData.Type.Ordinal
OZData.Type.Ordinal