sig
  val seed_addr : int -> unit
  val new_str : Dex.dex -> string -> Dex.link
  val replace_str : Dex.dex -> string -> string -> bool
  val report_str_repl_cnt : unit -> unit
  val new_ty : Dex.dex -> string -> Dex.link
  val new_class :
    Dex.dex -> ?super:string -> string -> Dex.access_flag list -> Dex.link
  val make_class_overridable : Dex.dex -> Dex.link -> unit
  val add_interface : Dex.dex -> Dex.link -> string -> unit
  val new_field :
    Dex.dex ->
    Dex.link -> string -> Dex.access_flag list -> string -> Dex.link
  val new_method :
    Dex.dex ->
    Dex.link ->
    string -> Dex.access_flag list -> string -> string list -> Dex.link
  val make_method_overridable : Dex.dex -> Dex.link -> Dex.link -> unit
  type cursor
  val prev : Modify.cursor -> Modify.cursor
  val next : Modify.cursor -> Modify.cursor
  val get_fst_ins : Dex.dex -> Dex.code_item -> Instr.instr
  val insrt_ins :
    Dex.dex -> Dex.code_item -> Modify.cursor -> Instr.instr -> Modify.cursor
  val rm_ins : Dex.dex -> Dex.code_item -> Modify.cursor -> Modify.cursor
  val insrt_insns :
    Dex.dex ->
    Dex.code_item -> Modify.cursor -> Instr.instr list -> Modify.cursor
  val insrt_insns_before_start :
    Dex.dex -> Dex.code_item -> Instr.instr list -> Modify.cursor
  val insrt_insns_after_start :
    Dex.dex -> Dex.code_item -> Instr.instr list -> Modify.cursor
  val insrt_insns_before_end :
    Dex.dex -> Dex.code_item -> Instr.instr list -> Modify.cursor
  val insrt_insns_after_end :
    Dex.dex -> Dex.code_item -> Instr.instr list -> Modify.cursor
  val insrt_return_void : Dex.dex -> Dex.link -> string -> unit
  val update_reg_usage : Dex.dex -> Dex.code_item -> unit
  val implements : Dex.dex -> Dex.link -> Dex.link -> string -> bool
  val override : Dex.dex -> Dex.link -> string -> bool
  val subst_cls : Dex.dex -> string list -> string list -> unit
  val discard_cls : Dex.dex -> string list -> unit
  val call_trace : Dex.dex -> string list -> unit
  val hello : unit -> Dex.dex
end

Web Accessibility