sig
  type formula =
      (MultiEquation.crterm, MultiEquation.variable)
      Constraint.type_constraint
  val printf_constraint :
    ?forall:string ->
    ?exists:string ->
    ?andsym:string ->
    ?before:(MiniConstraintPrinter.formula -> 'a) ->
    ?after:(MiniConstraintPrinter.formula -> 'b) ->
    ?user_name_from_int:(int -> string) ->
    PrettyPrinter.mode -> MiniConstraintPrinter.formula -> unit
  val print_constraint_task : string
  val print_constraint : MiniConstraintPrinter.formula list -> unit
  val register_tasks : unit -> unit
end