Module Dalton_templates.Print


module Print: Dalton_sig.PRINT
The module Print provides a standard style for pretty-printing constraints.

val ghost : string
val left_destructor : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit
val right_destructor : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit
val left_destructor_skel : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit
val right_destructor_skel : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit
val print_list : (Format.formatter -> 'a -> unit) ->
string -> Format.formatter -> 'a list -> unit
val same_skel : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val equal : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val leq : (Format.formatter -> 'a -> unit) ->
(Format.formatter -> 'b -> unit) -> Format.formatter -> 'a -> 'b -> unit
val lhs : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val rhs : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val first : bool Pervasives.ref
val cset_begin : 'a -> unit
val cset_item : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit
val cset_end : Format.formatter -> unit