Cryptol.TypeCheck.Solve

simplifyAllConstraints

proveImplication

assumedOrderModel

checkTypeFunction