mirror of
https://github.com/c-cube/moonpool.git
synced 2025-12-20 01:26:42 -05:00
26 lines
6.5 KiB
HTML
26 lines
6.5 KiB
HTML
<!DOCTYPE html>
|
||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Inline_and_simplify_aux (ocaml.Inline_and_simplify_aux)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../_odoc-theme/odoc.css"/><meta name="generator" content="odoc 2.4.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">ocaml</a> » Inline_and_simplify_aux</nav><header class="odoc-preamble"><h1>Module <code><span>Inline_and_simplify_aux</span></code></h1><p>Environments and result structures used during inlining and simplification. (See inline_and_simplify.ml.)</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-Env"><a href="#module-Env" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Env/index.html">Env</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Result"><a href="#module-Result" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Result/index.html">Result</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-initial_inlining_threshold"><a href="#val-initial_inlining_threshold" class="anchor"></a><code><span><span class="keyword">val</span> initial_inlining_threshold : <span><span class="label">round</span>:int <span class="arrow">-></span></span> <a href="../Inlining_cost/Threshold/index.html#type-t">Inlining_cost.Threshold.t</a></span></code></div><div class="spec-doc"><p>Command line argument -inline</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-initial_inlining_toplevel_threshold"><a href="#val-initial_inlining_toplevel_threshold" class="anchor"></a><code><span><span class="keyword">val</span> initial_inlining_toplevel_threshold :
|
||
<span><span class="label">round</span>:int <span class="arrow">-></span></span>
|
||
<a href="../Inlining_cost/Threshold/index.html#type-t">Inlining_cost.Threshold.t</a></span></code></div><div class="spec-doc"><p>Command line argument -inline-toplevel</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-prepare_to_simplify_set_of_closures"><a href="#val-prepare_to_simplify_set_of_closures" class="anchor"></a><code><span><span class="keyword">val</span> prepare_to_simplify_set_of_closures :
|
||
<span><span class="label">env</span>:<a href="Env/index.html#type-t">Env.t</a> <span class="arrow">-></span></span>
|
||
<span><span class="label">set_of_closures</span>:<a href="../Flambda/index.html#type-set_of_closures">Flambda.set_of_closures</a> <span class="arrow">-></span></span>
|
||
<span><span class="label">function_decls</span>:<a href="../Flambda/index.html#type-function_declarations">Flambda.function_declarations</a> <span class="arrow">-></span></span>
|
||
<span><span class="label">freshen</span>:bool <span class="arrow">-></span></span>
|
||
<span><span class="label">only_for_function_decl</span>:<span><a href="../Flambda/index.html#type-function_declaration">Flambda.function_declaration</a> option</span> <span class="arrow">-></span></span>
|
||
<span><span>(<a href="../Flambda/index.html#type-specialised_to">Flambda.specialised_to</a> * <a href="../Simple_value_approx/index.html#type-t">Simple_value_approx.t</a>)</span> <a href="../Variable/Map/index.html#type-t">Variable.Map.t</a></span>
|
||
* <span><a href="../Flambda/index.html#type-specialised_to">Flambda.specialised_to</a> <a href="../Variable/Map/index.html#type-t">Variable.Map.t</a></span>
|
||
* <a href="../Flambda/index.html#type-function_declarations">Flambda.function_declarations</a>
|
||
* <span><a href="../Simple_value_approx/index.html#type-t">Simple_value_approx.t</a> <a href="../Variable/Map/index.html#type-t">Variable.Map.t</a></span>
|
||
* <a href="../Simple_value_approx/index.html#type-value_set_of_closures">Simple_value_approx.value_set_of_closures</a>
|
||
* <a href="Env/index.html#type-t">Env.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-prepare_to_simplify_closure"><a href="#val-prepare_to_simplify_closure" class="anchor"></a><code><span><span class="keyword">val</span> prepare_to_simplify_closure :
|
||
<span><span class="label">function_decl</span>:<a href="../Flambda/index.html#type-function_declaration">Flambda.function_declaration</a> <span class="arrow">-></span></span>
|
||
<span><span class="label">free_vars</span>:<span><span>(<a href="../Flambda/index.html#type-specialised_to">Flambda.specialised_to</a> * <a href="../Simple_value_approx/index.html#type-t">Simple_value_approx.t</a>)</span> <a href="../Variable/Map/index.html#type-t">Variable.Map.t</a></span> <span class="arrow">-></span></span>
|
||
<span><span class="label">specialised_args</span>:<span><a href="../Flambda/index.html#type-specialised_to">Flambda.specialised_to</a> <a href="../Variable/Map/index.html#type-t">Variable.Map.t</a></span> <span class="arrow">-></span></span>
|
||
<span><span class="label">parameter_approximations</span>:<span><a href="../Simple_value_approx/index.html#type-t">Simple_value_approx.t</a> <a href="../Variable/Map/index.html#type-t">Variable.Map.t</a></span> <span class="arrow">-></span></span>
|
||
<span><span class="label">set_of_closures_env</span>:<a href="Env/index.html#type-t">Env.t</a> <span class="arrow">-></span></span>
|
||
<a href="Env/index.html#type-t">Env.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-keep_body_check"><a href="#val-keep_body_check" class="anchor"></a><code><span><span class="keyword">val</span> keep_body_check :
|
||
<span><span class="label">is_classic_mode</span>:bool <span class="arrow">-></span></span>
|
||
<span><span class="label">recursive</span>:<span><a href="../Variable/Set/index.html#type-t">Variable.Set.t</a> <a href="../Stdlib/Lazy/index.html#type-t">Stdlib.Lazy.t</a></span> <span class="arrow">-></span></span>
|
||
<span><a href="../Variable/index.html#type-t">Variable.t</a> <span class="arrow">-></span></span>
|
||
<span><a href="../Flambda/index.html#type-function_declaration">Flambda.function_declaration</a> <span class="arrow">-></span></span>
|
||
bool</span></code></div></div></div></body></html>
|