package sawja

  1. Overview
  2. Docs
package sawja
Legend:
Library
Module
Module type
Parameter
Class
Class type
val iter_code : (int -> instr list -> unit) -> bir Lazy.t -> unit
val inst_disp' : (instr -> string) -> int -> bir -> string
val get_source_line_number : int -> bir -> int option
type p_code = bir
type p_instr = instr
type p_expr = expr
val inst_disp : int -> bir -> string