Module Mlang.Format_bir

val format_print_arg : Stdlib.Format.formatter -> Bir.variable Mir.print_arg -> unit
val format_expression : Stdlib.Format.formatter -> Bir.expression -> unit
val format_variable_def : Stdlib.Format.formatter -> Bir.variable_def -> unit
val format_stmt : Stdlib.Format.formatter -> Bir.stmt -> unit
val format_stmts : Stdlib.Format.formatter -> Bir.stmt list -> unit
val format_rule : Stdlib.Format.formatter -> Bir.rule_or_verif -> unit
val format_rules : Stdlib.Format.formatter -> Bir.rule_or_verif Bir.ROVMap.t -> unit
val format_program : Stdlib.Format.formatter -> Bir.program -> unit