Module 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 {
known : Js_of_ocaml_compiler.Code.Var.Set.t;
others : bool;
}
type info = {
info_defs : def array;
info_approximation : approx Code.Var.Tbl.t;
info_may_escape : Code.Var.ISet.t;
}
val f : fast:bool -> Code.program -> info
val exact_call : info -> Code.Var.t -> int -> bool
val function_arity : info -> Code.Var.t -> int option