Documentation

type IfNatLte (n :: Natural) (m :: Natural) (fThen :: k) (fElse :: k) = OrdCond (CmpNat n m) fThen fThen fElse Source #