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_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