Module Dba_printer.Make

Parameters

module R : Renderer

Signature

val pp_code_address : Format.formatter -> Dba.address -> unit
val pp_tag : Format.formatter -> Dba.tag -> unit
val pp_binary_op : Format.formatter -> Dba.Binary_op.t -> unit
val pp_unary_op : Format.formatter -> Dba.Unary_op.t -> unit
val pp_bl_term : Format.formatter -> Dba.Expr.t -> unit
val pp_expr : Format.formatter -> Dba.Expr.t -> unit
val pp_instruction : Format.formatter -> Dba.Instr.t -> unit
val pp_lhs : Format.formatter -> Dba.LValue.t -> unit
val pp_instruction_maybe_goto : current_id:int -> Format.formatter -> Dba.Instr.t -> unit