Module MiniConstraintPrinter (.ml)

module MiniConstraintPrinter: sig .. end

This module implements a pretty printer for the constraint of the Mini language.

type formula = (MultiEquation.crterm, MultiEquation.variable) Constraint.type_constraint

val printf_constraint : ?forall:string ->
       ?exists:string ->
       ?andsym:string ->
       ?before:(formula -> 'a) ->
       ?after:(formula -> 'b) ->
       ?user_name_from_int:(int -> string) ->
       PrettyPrinter.mode -> formula -> unit

val print_constraint_task : string

val print_constraint : formula list -> unit

val register_tasks : unit -> unit