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

Index - O

odData.Type.Ordinal
OLtData.Type.Ordinal
One 
1 (Type/Class)Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class
2 (Type/Class)Data.Type.Natural
oneData.Type.Natural
OneSym0Data.Type.Natural
OrdinalData.Type.Ordinal
ordToIntData.Type.Ordinal
ordToSingData.Type.Ordinal
ordToSing'Data.Type.Ordinal
OSData.Type.Ordinal
OZData.Type.Ordinal