Module Mlang.Format_mast

val format_comp_op : Stdlib.Format.formatter -> Mast.comp_op -> unit
val format_binop : Stdlib.Format.formatter -> Mast.binop -> unit
val format_unop : Stdlib.Format.formatter -> Mast.unop -> unit
val format_value_typ : Stdlib.Format.formatter -> Mast.value_typ -> unit
val format_var_type : Mast.var_type -> string
val format_variable : Stdlib.Format.formatter -> Mast.variable -> unit
val format_loop_variables : Stdlib.Format.formatter -> Mast.loop_variables -> unit
val format_formula : Stdlib.Format.formatter -> Mast.formula -> unit
val format_rule_domain : Stdlib.Format.formatter -> Mast.rule_domain_decl -> unit
val format_verif_domain : Stdlib.Format.formatter -> Mast.verif_domain_decl -> unit
val format_source_file : Stdlib.Format.formatter -> Mast.source_file -> unit
val pp_print_list_endline : ( Stdlib.Format.formatter -> 'a -> unit ) -> Stdlib.Format.formatter -> 'a list -> unit
val pp_print_list_comma : ( Stdlib.Format.formatter -> 'a -> unit ) -> Stdlib.Format.formatter -> 'a list -> unit
val pp_print_list_space : ( Stdlib.Format.formatter -> 'a -> unit ) -> Stdlib.Format.formatter -> 'a list -> unit
val pp_unmark : ( 'a -> 'b -> 'c ) -> 'a -> 'b Pos.marked -> 'c