Js_of_ocaml_compiler.Global_flow
type info = {
info_defs : def array;
info_approximation : approx Code.Var.Tbl.t;
info_may_escape : Code.Var.ISet.t;
info_variable_may_escape : escape_status array;
info_return_vals : Js_of_ocaml_compiler.Code.Var.Set.t
Js_of_ocaml_compiler.Code.Var.Map.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