Format_mir (mlang.Mlang.Format

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 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 Mir.RuleMap.t ->
  unit

val format_variable : Stdlib.Format.formatter -> Mir.Variable.t -> unit