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

Index - I

inclusionData.Type.Ordinal
inclusion'Data.Type.Ordinal
intToNatData.Type.Natural