Module `Mlang.Format_bir`

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 Mlang.Bir.ROVMap.t -> unit
val format_program : Stdlib.Format.formatter -> Bir.program -> unit