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

Index - B

boolToClassLeqData.Type.Natural
boolToPropLeqData.Type.Natural