package js_of_ocaml-compiler

  1. Overview
  2. Docs
type def =
  1. | Phi of Code.VarSet.t
  2. | Expr of Code.expr
  3. | Param
type info = {
  1. info_defs : def array;
  2. info_known_origins : Code.VarSet.t Code.VarTbl.t;
  3. info_maybe_unknown : bool Code.VarTbl.t;
  4. info_possibly_mutable : bool array;
}
val get_approx : info -> (Code.VarSet.elt -> 'b) -> 'b -> ('b -> 'b -> 'b) -> Code.VarTbl.key -> 'b
val the_def_of : info -> Code.prim_arg -> Code.expr option
val the_const_of : info -> Code.prim_arg -> Code.constant option
val the_string_of : info -> Code.prim_arg -> string option
val the_int : info -> Code.prim_arg -> int32 option
val update_def : info -> Code.Var.t -> Code.expr -> unit
val f : ?skip_param:bool -> Code.program -> Code.program * info
OCaml

Innovation. Community. Security.