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

Index - C

CastedOrdinal 
1 (Type/Class)Data.Type.Ordinal
2 (Data Constructor)Data.Type.Ordinal