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

Index - I

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