To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package ocaml-base-compiler
-
dynlink
-
graphics
-
nums
-
ocamlcommon
-
ocamloptcomp
-
odoc_info
-
raw_spacetime_lib
-
-
str
-
threads
-
unix
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Turn free variables of closures into specialised arguments. The aim is to cause the closure to become closed.
val rewrite_set_of_closures :
env:Inline_and_simplify_aux.Env.t ->
duplicate_function:
(env:Inline_and_simplify_aux.Env.t ->
set_of_closures:Flambda.set_of_closures ->
fun_var:Variable.t ->
Flambda.function_declaration * Flambda.specialised_to Variable.Map.t) ->
set_of_closures:Flambda.set_of_closures ->
(Flambda.expr * Inlining_cost.Benefit.t) option