Module ConstraintUtils.ConstraintSimplify

module ConstraintSimplify: sig .. end

val csimplify : Constraint.Constraint.cexp -> Constraint.Constraint.cexp