Cryptol.TypeCheck.Solver.Eval
assumedOrderModel
derivedOrd
isSimpleType
simpType
reorderArgs
commuteArgs
evalTFun
typeInterval
typeKnownLeq
typeKnownFin
tfAdd
tfSub
tfMul
tfDiv
tfMod
tfMin
tfMax
tfExp
tfLg2
tfWidth
tfLenFromThen
tfLenFromThenTo
toNat'
fromNat'
oneOrMore
twoOrMore