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