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

Index - G

geqToMaxData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
geqToMinData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
gtToLeqData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural