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