Format_mast (mlang.Mlang.Format

val format_var_type : Mast.var_type -> string

val format_variable : Pp.t -> Mast.variable -> unit

val format_rule_domain : Pp.t -> Mast.rule_domain_decl -> unit

val format_verif_domain : Pp.t -> Mast.verif_domain_decl -> unit

val format_source_file : Pp.t -> Mast.source_file -> unit