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

Index - H

HasOrdinalData.Type.Ordinal