sig
  module ConstraintSimplify :
    sig
      val csimplify :
        Constraint.Constraint.cexp -> Constraint.Constraint.cexp
    end
  module ConstraintConverter :
    sig
      val var2constraint : Ast.Ast.var -> Constraint.Constraint.cexp
      val ast2constraint : Ast.Ast.exp -> Constraint.Constraint.cexp
      val convert_constraints :
        Constraint.Constraint.cexp list -> string list
    end
  module ConstraintPrinter :
    sig val print_cexps : Constraint.Constraint.cexp list -> unit list end
end