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