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;
}
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