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