GHC.TypeLits.Compare

<= and <=?

data (:<=?)

(%<=?)

Convenience functions

isLE

isNLE

CmpNat

data SCmpNat

cmpNat

Manipulating witnesses

flipCmpNat

cmpNatEq

eqCmpNat

Interfacing with <=?

cmpNatLE