Js_of_ocaml_compiler.Specialize
val function_arity : Flow.Info.t -> Code.Var.t -> int option
val f : function_arity:(Code.Var.t -> int option) -> Code.program -> Code.program