GHC.TypeLits.Witnesses

High level wrapper

withNatOp

Direct witnesses

natDict

dictNatVal

Witness generators

(%+)

(%-)

(%*)

(%^)

Entailments

entailAdd

entailSub

entailMul

entailExp