Js_of_ocaml_compiler.Global_flow
type def =
| Expr of Code.expr
| Phi of {
known : Js_of_ocaml_compiler.Code.Var.Set.t;
others : bool;
}
type approx =
| Top
| Values of {
type info = {
info_defs : def array;
info_approximation : approx Code.Var.Tbl.t;
info_may_escape : bool array;
val f : Code.program -> info
val exact_call : info -> Code.Var.t -> int -> bool