package sawja

  1. Overview
  2. Docs
package sawja
Legend:
Library
Module
Module type
Parameter
Class
Class type
type var_name_deb =
  1. | UnDef
  2. | NoName
  3. | Name of string
val pp_var2vardeb : ('a -> 'b -> string option) -> 'a -> 'b -> var_name_deb
val run : (int * int * string * 'a * int) list -> bool array -> (int -> int -> var_name_deb) -> var_name_deb Javalib_pack.Ptmap.t array -> Javalib_pack.JCode.jcode -> Javalib_pack.Ptset.t -> int -> Javalib_pack.Ptset.t * bool