package ocaml-base-compiler
Official release 4.12.0
Install
Dune Dependency
Authors
Maintainers
Sources
4.12.0.tar.gz
sha256=adc07a3995362403f3cb11085a86354de08e5a7f9eb3c09be7bbcc38a3a26744
doc/ocamloptcomp/Inlining_decision_intf/index.html
Module Inlining_decision_intf
type 'a by_copying_function_body =
env:Inline_and_simplify_aux.Env.t ->
r:Inline_and_simplify_aux.Result.t ->
clos:Flambda.function_declarations ->
lfunc:Flambda.t ->
fun_id:Closure_id.t ->
func:Flambda.function_declaration ->
args:Flambda.t list ->
Flambda.t * Inline_and_simplify_aux.Result.ttype 'a by_copying_function_declaration =
env:Inline_and_simplify_aux.Env.t ->
r:Inline_and_simplify_aux.Result.t ->
funct:Flambda.t ->
clos:Flambda.function_declarations ->
fun_id:Closure_id.t ->
func:Flambda.function_declaration ->
args_with_approxs:(Flambda.t list * Simple_value_approx.t list) ->
invariant_params:Variable.Set.t ->
specialised_args:Variable.Set.t ->
dbg:Debuginfo.t ->
(Flambda.t * Inline_and_simplify_aux.Result.t) optiontype simplify =
Inline_and_simplify_aux.Env.t ->
Inline_and_simplify_aux.Result.t ->
Flambda.t ->
Flambda.t * Inline_and_simplify_aux.Result.t