Cryptol.TypeCheck.Solver.InfNat
data Nat'
fromNat
nAdd
nMul
nExp
nMin
nMax
nSub
nDiv
nMod
nLg2
nWidth
nLenFromThen
nLenFromThenTo
genLog
widthInteger