Language.Haskell.Liquid.Constraint.Constraint

typeToConstraint

addConstraints

constraintToLogic

constraintToLogicOne

subConstraintToLogicOne

combinations