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_unmark : ( 'a -> 'b -> 'c ) -> 'a -> 'b Pos.marked -> 'c