Module `Mlang.Format_mir`

val format_execution_number : Stdlib.Format.formatter -> Mir.execution_number -> unit
val format_execution_number_short : Stdlib.Format.formatter -> Mir.execution_number -> unit
val format_typ : Stdlib.Format.formatter -> Mir.typ -> unit
val format_func : Stdlib.Format.formatter -> Mir.func -> unit
val format_literal : Stdlib.Format.formatter -> Mir.literal -> unit
val format_expression : Stdlib.Format.formatter -> Mir.expression -> unit
val format_variable_def : Stdlib.Format.formatter -> Mir.variable_def -> unit
val format_variable_data : Stdlib.Format.formatter -> Mir.variable_data -> unit
val format_variables : Stdlib.Format.formatter -> Mir.variable_data Mlang.Mir.VariableMap.t -> unit
val format_error : Stdlib.Format.formatter -> Mir.Error.t -> unit
val format_precondition : Stdlib.Format.formatter -> Mir.condition_data -> unit
val format_program_rules : Stdlib.Format.formatter -> Mir.VariableDict.t -> Mir.rule_data Mlang.Mir.RuleMap.t -> unit
val format_program_conds : Stdlib.Format.formatter -> Mir.condition_data Mlang.Mir.RuleMap.t -> unit
val format_program : Stdlib.Format.formatter -> Mir.program -> unit
val format_variable : Stdlib.Format.formatter -> Mir.Variable.t -> unit
val format_io : Stdlib.Format.formatter -> Mir.io -> unit