mirror of
https://github.com/c-cube/moonpool.git
synced 2025-12-10 13:14:05 -05:00
2 lines
34 KiB
HTML
2 lines
34 KiB
HTML
<!DOCTYPE html>
|
||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (ocaml.index)</title><meta charset="utf-8"/><link rel="stylesheet" href="../_odoc-theme/odoc.css"/><meta name="generator" content="odoc 2.4.3"/><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> – ocaml</nav><header class="odoc-preamble"><h1 id="package-ocaml"><a href="#package-ocaml" class="anchor"></a>Package ocaml <nav><a type="text/plain; charset=UTF-8" href="_doc-dir/Changes">changes</a> <a href="#package_info">more…</a></nav></h1></header><nav class="odoc-toc"><ul><li><a href="#stdlib">Stdlib</a></li><li><a href="#threads">Threads</a></li><li><a href="#compiler_libs">Compiler libs</a></li><li><a href="#package_info">Package info</a></li></ul></nav><div class="odoc-content"><h2 id="stdlib"><a href="#stdlib" class="anchor"></a>Stdlib</h2><ul class="modules"><li><a href="CamlinternalFormat/index.html"><code>CamlinternalFormat</code></a> </li><li><a href="CamlinternalFormatBasics/index.html"><code>CamlinternalFormatBasics</code></a> </li><li><a href="CamlinternalLazy/index.html"><code>CamlinternalLazy</code></a> <span class="synopsis">Run-time support for lazy values. All functions in this module are for system use only, not for the casual user.</span></li><li><a href="CamlinternalMod/index.html"><code>CamlinternalMod</code></a> <span class="synopsis">Run-time support for recursive modules. All functions in this module are for system use only, not for the casual user.</span></li><li><a href="CamlinternalOO/index.html"><code>CamlinternalOO</code></a> <span class="synopsis">Run-time support for objects and classes. All functions in this module are for system use only, not for the casual user.</span></li><li><a href="Std_exit/index.html"><code>Std_exit</code></a> </li><li><a href="Stdlib/index.html"><code>Stdlib</code></a> <span class="synopsis">The OCaml Standard library.</span></li></ul><h2 id="threads"><a href="#threads" class="anchor"></a>Threads</h2><ul class="modules"><li><a href="Event/index.html"><code>Event</code></a> <span class="synopsis">First-class synchronous communication.</span></li><li><a href="Thread/index.html"><code>Thread</code></a> <span class="synopsis">Lightweight threads for Posix <code>1003.1c</code> and Win32.</span></li></ul><h2 id="compiler_libs"><a href="#compiler_libs" class="anchor"></a>Compiler libs</h2><ul class="modules"><li><a href="Afl_instrument/index.html"><code>Afl_instrument</code></a> <span class="synopsis">Instrumentation for afl-fuzz.</span></li><li><a href="Alias_analysis/index.html"><code>Alias_analysis</code></a> </li><li><a href="Allocated_const/index.html"><code>Allocated_const</code></a> <span class="synopsis">Constants that are always allocated (possibly statically). Blocks are not included here since they are always encoded using <code>Prim (Pmakeblock, ...)</code>.</span></li><li><a href="Annot/index.html"><code>Annot</code></a> </li><li><a href="Arch/index.html"><code>Arch</code></a> </li><li><a href="Arg_helper/index.html"><code>Arg_helper</code></a> <span class="synopsis">Decipher command line arguments of the form <value> | <key>=<value><code>,...</code></span></li><li><a href="Asmgen/index.html"><code>Asmgen</code></a> <span class="synopsis">From Lambda to assembly code</span></li><li><a href="Asmlibrarian/index.html"><code>Asmlibrarian</code></a> </li><li><a href="Asmlink/index.html"><code>Asmlink</code></a> </li><li><a href="Asmpackager/index.html"><code>Asmpackager</code></a> </li><li><a href="Ast_helper/index.html"><code>Ast_helper</code></a> <span class="synopsis">Helpers to produce Parsetree fragments</span></li><li><a href="Ast_invariants/index.html"><code>Ast_invariants</code></a> <span class="synopsis">Check AST invariants</span></li><li><a href="Ast_iterator/index.html"><code>Ast_iterator</code></a> <span class="synopsis"><a href="Ast_iterator/index.html#type-iterator"><code>Ast_iterator.iterator</code></a> enables AST inspection using open recursion. A typical mapper would be based on <a href="Ast_iterator/index.html#val-default_iterator"><code>Ast_iterator.default_iterator</code></a>, a trivial iterator, and will fall back on it for handling the syntax it does not modify.</span></li><li><a href="Ast_mapper/index.html"><code>Ast_mapper</code></a> <span class="synopsis">The interface of a -ppx rewriter</span></li><li><a href="Asttypes/index.html"><code>Asttypes</code></a> <span class="synopsis">Auxiliary AST types used by parsetree and typedtree.</span></li><li><a href="Attr_helper/index.html"><code>Attr_helper</code></a> <span class="synopsis">Helpers for attributes</span></li><li><a href="Augment_specialised_args/index.html"><code>Augment_specialised_args</code></a> <span class="synopsis">Helper module for adding specialised arguments to sets of closures.</span></li><li><a href="Backend_intf/index.html"><code>Backend_intf</code></a> <span class="synopsis">Knowledge that the middle end needs about the backend.</span></li><li><a href="Backend_var/index.html"><code>Backend_var</code></a> <span class="synopsis">Variables used in the backend, optionally equipped with "provenance" information, used for the emission of debugging information.</span></li><li><a href="Binutils/index.html"><code>Binutils</code></a> </li><li><a href="Branch_relaxation/index.html"><code>Branch_relaxation</code></a> </li><li><a href="Branch_relaxation_intf/index.html"><code>Branch_relaxation_intf</code></a> </li><li><a href="Btype/index.html"><code>Btype</code></a> </li><li><a href="Build_export_info/index.html"><code>Build_export_info</code></a> <span class="synopsis">Construct export information, for emission into .cmx files, from an Flambda program.</span></li><li><a href="Build_path_prefix_map/index.html"><code>Build_path_prefix_map</code></a> <span class="synopsis">Rewrite paths for reproducible builds</span></li><li><a href="Builtin_attributes/index.html"><code>Builtin_attributes</code></a> <span class="synopsis">Support for some of the builtin attributes</span></li><li><a href="Bytegen/index.html"><code>Bytegen</code></a> </li><li><a href="Bytelibrarian/index.html"><code>Bytelibrarian</code></a> </li><li><a href="Bytelink/index.html"><code>Bytelink</code></a> </li><li><a href="Bytepackager/index.html"><code>Bytepackager</code></a> </li><li><a href="Bytesections/index.html"><code>Bytesections</code></a> <span class="synopsis">Recording sections written to a bytecode executable file</span></li><li><a href="CSE/index.html"><code>CSE</code></a> </li><li><a href="CSEgen/index.html"><code>CSEgen</code></a> </li><li><a href="CamlinternalMenhirLib/index.html"><code>CamlinternalMenhirLib</code></a> </li><li><a href="Ccomp/index.html"><code>Ccomp</code></a> <span class="synopsis">Compiling C files and building C libraries</span></li><li><a href="Clambda/index.html"><code>Clambda</code></a> </li><li><a href="Clambda_primitives/index.html"><code>Clambda_primitives</code></a> </li><li><a href="Clflags/index.html"><code>Clflags</code></a> <span class="synopsis">Command line flags</span></li><li><a href="Closure/index.html"><code>Closure</code></a> </li><li><a href="Closure_conversion/index.html"><code>Closure_conversion</code></a> </li><li><a href="Closure_conversion_aux/index.html"><code>Closure_conversion_aux</code></a> <span class="synopsis">Environments and auxiliary structures used during closure conversion.</span></li><li><a href="Closure_element/index.html"><code>Closure_element</code></a> </li><li><a href="Closure_id/index.html"><code>Closure_id</code></a> <span class="synopsis">CR-someday lwhite: "Closure_id" is quite a generic name. I wonder whether something like "Closure_label" would better capture that it is the label of a projection.</span></li><li><a href="Closure_middle_end/index.html"><code>Closure_middle_end</code></a> </li><li><a href="Closure_offsets/index.html"><code>Closure_offsets</code></a> <span class="synopsis">Assign numerical offsets, within closure blocks, for code pointers and environment entries.</span></li><li><a href="Closure_origin/index.html"><code>Closure_origin</code></a> </li><li><a href="Cmi_format/index.html"><code>Cmi_format</code></a> </li><li><a href="Cmm/index.html"><code>Cmm</code></a> </li><li><a href="Cmm_helpers/index.html"><code>Cmm_helpers</code></a> </li><li><a href="Cmm_invariants/index.html"><code>Cmm_invariants</code></a> <span class="synopsis">Check a number of continuation-related invariants</span></li><li><a href="Cmmgen/index.html"><code>Cmmgen</code></a> </li><li><a href="Cmmgen_state/index.html"><code>Cmmgen_state</code></a> <span class="synopsis">Mutable state used by <code>Cmmgen</code>.</span></li><li><a href="Cmo_format/index.html"><code>Cmo_format</code></a> </li><li><a href="Cmt2annot/index.html"><code>Cmt2annot</code></a> </li><li><a href="Cmt_format/index.html"><code>Cmt_format</code></a> <span class="synopsis">cmt and cmti files format.</span></li><li><a href="Cmx_format/index.html"><code>Cmx_format</code></a> </li><li><a href="Cmxs_format/index.html"><code>Cmxs_format</code></a> </li><li><a href="Coloring/index.html"><code>Coloring</code></a> </li><li><a href="Comballoc/index.html"><code>Comballoc</code></a> </li><li><a href="Compenv/index.html"><code>Compenv</code></a> </li><li><a href="Compilation_unit/index.html"><code>Compilation_unit</code></a> </li><li><a href="Compile/index.html"><code>Compile</code></a> <span class="synopsis">Bytecode compilation for .ml and .mli files.</span></li><li><a href="Compile_common/index.html"><code>Compile_common</code></a> <span class="synopsis">Common compilation pipeline between bytecode and native.</span></li><li><a href="Compilenv/index.html"><code>Compilenv</code></a> </li><li><a href="Compmisc/index.html"><code>Compmisc</code></a> </li><li><a href="Config/index.html"><code>Config</code></a> <span class="synopsis">System configuration</span></li><li><a href="Config_boot/index.html"><code>Config_boot</code></a> <span class="synopsis">System configuration</span></li><li><a href="Config_main/index.html"><code>Config_main</code></a> <span class="synopsis">System configuration</span></li><li><a href="Consistbl/index.html"><code>Consistbl</code></a> <span class="synopsis">Consistency tables: for checking consistency of module CRCs</span></li><li><a href="Convert_primitives/index.html"><code>Convert_primitives</code></a> </li><li><a href="Ctype/index.html"><code>Ctype</code></a> </li><li><a href="Dataflow/index.html"><code>Dataflow</code></a> </li><li><a href="Datarepr/index.html"><code>Datarepr</code></a> </li><li><a href="Deadcode/index.html"><code>Deadcode</code></a> </li><li><a href="Debuginfo/index.html"><code>Debuginfo</code></a> </li><li><a href="Depend/index.html"><code>Depend</code></a> <span class="synopsis">Module dependencies.</span></li><li><a href="Diffing/index.html"><code>Diffing</code></a> <span class="synopsis">Parametric diffing</span></li><li><a href="Diffing_with_keys/index.html"><code>Diffing_with_keys</code></a> <span class="synopsis">When diffing lists where each element has a distinct key, we can refine the diffing patch by introducing two composite edit moves: swaps and moves.</span></li><li><a href="Dll/index.html"><code>Dll</code></a> </li><li><a href="Docstrings/index.html"><code>Docstrings</code></a> <span class="synopsis">Documentation comments</span></li><li><a href="Domainstate/index.html"><code>Domainstate</code></a> </li><li><a href="Effect_analysis/index.html"><code>Effect_analysis</code></a> <span class="synopsis">Simple side effect analysis.</span></li><li><a href="Emit/index.html"><code>Emit</code></a> </li><li><a href="Emitaux/index.html"><code>Emitaux</code></a> </li><li><a href="Emitcode/index.html"><code>Emitcode</code></a> </li><li><a href="Emitenv/index.html"><code>Emitenv</code></a> </li><li><a href="Env/index.html"><code>Env</code></a> </li><li><a href="Envaux/index.html"><code>Envaux</code></a> </li><li><a href="Errors/index.html"><code>Errors</code></a> </li><li><a href="Errortrace/index.html"><code>Errortrace</code></a> </li><li><a href="Export_id/index.html"><code>Export_id</code></a> </li><li><a href="Export_info/index.html"><code>Export_info</code></a> <span class="synopsis">Exported information (that is to say, information written into a .cmx file) about a compilation unit.</span></li><li><a href="Export_info_for_pack/index.html"><code>Export_info_for_pack</code></a> <span class="synopsis">Transformations on export information that are only used for the building of packs.</span></li><li><a href="Expunge/index.html"><code>Expunge</code></a> </li><li><a href="Extract_projections/index.html"><code>Extract_projections</code></a> <span class="synopsis">Identify projections from variables used in function bodies (free variables or specialised args, for example, according to <code>which_variables</code> below). Projections from variables that are also used boxed are not returned.</span></li><li><a href="Find_recursive_functions/index.html"><code>Find_recursive_functions</code></a> <span class="synopsis">"Recursive functions" are those functions <code>f</code> that might call either:</span></li><li><a href="Flambda/index.html"><code>Flambda</code></a> <span class="synopsis">Intermediate language used for tree-based analysis and optimization.</span></li><li><a href="Flambda_invariants/index.html"><code>Flambda_invariants</code></a> </li><li><a href="Flambda_iterators/index.html"><code>Flambda_iterators</code></a> </li><li><a href="Flambda_middle_end/index.html"><code>Flambda_middle_end</code></a> <span class="synopsis">Translate Lambda code to Flambda code, optimize it, and produce Clambda.</span></li><li><a href="Flambda_to_clambda/index.html"><code>Flambda_to_clambda</code></a> </li><li><a href="Flambda_utils/index.html"><code>Flambda_utils</code></a> <span class="synopsis">Utility functions for the Flambda intermediate language.</span></li><li><a href="Freshening/index.html"><code>Freshening</code></a> <span class="synopsis">Freshening of various identifiers.</span></li><li><a href="Genprintval/index.html"><code>Genprintval</code></a> </li><li><a href="Id_types/index.html"><code>Id_types</code></a> </li><li><a href="Ident/index.html"><code>Ident</code></a> </li><li><a href="Identifiable/index.html"><code>Identifiable</code></a> <span class="synopsis">Uniform interface for common data structures over various things.</span></li><li><a href="Import_approx/index.html"><code>Import_approx</code></a> <span class="synopsis">Create simple value approximations from the export information in .cmx files.</span></li><li><a href="Includeclass/index.html"><code>Includeclass</code></a> </li><li><a href="Includecore/index.html"><code>Includecore</code></a> </li><li><a href="Includemod/index.html"><code>Includemod</code></a> </li><li><a href="Includemod_errorprinter/index.html"><code>Includemod_errorprinter</code></a> </li><li><a href="Inconstant_idents/index.html"><code>Inconstant_idents</code></a> </li><li><a href="Initialize_symbol_to_let_symbol/index.html"><code>Initialize_symbol_to_let_symbol</code></a> </li><li><a href="Inline_and_simplify/index.html"><code>Inline_and_simplify</code></a> </li><li><a href="Inline_and_simplify_aux/index.html"><code>Inline_and_simplify_aux</code></a> <span class="synopsis">Environments and result structures used during inlining and simplification. (See inline_and_simplify.ml.)</span></li><li><a href="Inlining_cost/index.html"><code>Inlining_cost</code></a> <span class="synopsis">Measurement of the cost (including cost in space) of Flambda terms in the context of inlining.</span></li><li><a href="Inlining_decision/index.html"><code>Inlining_decision</code></a> <span class="synopsis">See the Flambda manual chapter for an explanation in prose of the inlining decision procedure.</span></li><li><a href="Inlining_decision_intf/index.html"><code>Inlining_decision_intf</code></a> </li><li><a href="Inlining_stats/index.html"><code>Inlining_stats</code></a> </li><li><a href="Inlining_stats_types/index.html"><code>Inlining_stats_types</code></a> </li><li><a href="Inlining_transforms/index.html"><code>Inlining_transforms</code></a> <span class="synopsis">Source code transformations used during inlining.</span></li><li><a href="Instruct/index.html"><code>Instruct</code></a> </li><li><a href="Int_replace_polymorphic_compare/index.html"><code>Int_replace_polymorphic_compare</code></a> </li><li><a href="Interf/index.html"><code>Interf</code></a> </li><li><a href="Internal_variable_names/index.html"><code>Internal_variable_names</code></a> </li><li><a href="Interval/index.html"><code>Interval</code></a> </li><li><a href="Invariant_params/index.html"><code>Invariant_params</code></a> </li><li><a href="Lambda/index.html"><code>Lambda</code></a> </li><li><a href="Lazy_backtrack/index.html"><code>Lazy_backtrack</code></a> </li><li><a href="Lexer/index.html"><code>Lexer</code></a> <span class="synopsis">The lexical analyzer</span></li><li><a href="Lift_code/index.html"><code>Lift_code</code></a> </li><li><a href="Lift_constants/index.html"><code>Lift_constants</code></a> <span class="synopsis">The aim of this pass is to assign symbols to values known to be constant (in other words, whose values we know at compile time), with appropriate sharing of constants, and replace the occurrences of the constants with their corresponding symbols.</span></li><li><a href="Lift_let_to_initialize_symbol/index.html"><code>Lift_let_to_initialize_symbol</code></a> </li><li><a href="Linear/index.html"><code>Linear</code></a> </li><li><a href="Linear_format/index.html"><code>Linear_format</code></a> </li><li><a href="Linearize/index.html"><code>Linearize</code></a> </li><li><a href="Linkage_name/index.html"><code>Linkage_name</code></a> </li><li><a href="Linscan/index.html"><code>Linscan</code></a> </li><li><a href="Liveness/index.html"><code>Liveness</code></a> </li><li><a href="Load_path/index.html"><code>Load_path</code></a> <span class="synopsis">Management of include directories.</span></li><li><a href="Local_store/index.html"><code>Local_store</code></a> <span class="synopsis">This module provides some facilities for creating references (and hash tables) which can easily be snapshoted and restored to an arbitrary version.</span></li><li><a href="Location/index.html"><code>Location</code></a> <span class="synopsis">Source code locations (ranges of positions), used in parsetree.</span></li><li><a href="Longident/index.html"><code>Longident</code></a> <span class="synopsis">Long identifiers, used in parsetree.</span></li><li><a href="Mach/index.html"><code>Mach</code></a> </li><li><a href="Main/index.html"><code>Main</code></a> </li><li><a href="Main_args/index.html"><code>Main_args</code></a> </li><li><a href="Maindriver/index.html"><code>Maindriver</code></a> </li><li><a href="Makedepend/index.html"><code>Makedepend</code></a> </li><li><a href="Matching/index.html"><code>Matching</code></a> </li><li><a href="Meta/index.html"><code>Meta</code></a> </li><li><a href="Misc/index.html"><code>Misc</code></a> <span class="synopsis">Miscellaneous useful types and functions</span></li><li><a href="Mtype/index.html"><code>Mtype</code></a> </li><li><a href="Mutable_variable/index.html"><code>Mutable_variable</code></a> </li><li><a href="Numbers/index.html"><code>Numbers</code></a> <span class="synopsis">Modules about numbers, some of which satisfy <a href="Identifiable/module-type-S/index.html"><code>Identifiable.S</code></a>.</span></li><li><a href="Opcodes/index.html"><code>Opcodes</code></a> </li><li><a href="Oprint/index.html"><code>Oprint</code></a> </li><li><a href="Optcompile/index.html"><code>Optcompile</code></a> <span class="synopsis">Native compilation for .ml and .mli files.</span></li><li><a href="Opterrors/index.html"><code>Opterrors</code></a> </li><li><a href="Optmain/index.html"><code>Optmain</code></a> </li><li><a href="Optmaindriver/index.html"><code>Optmaindriver</code></a> </li><li><a href="Outcometree/index.html"><code>Outcometree</code></a> </li><li><a href="Parameter/index.html"><code>Parameter</code></a> <span class="synopsis"><code>Parameter.t</code> carries a unique <code>Variable.t</code> used as function parameter. It can also carry annotations about the usage of the variable.</span></li><li><a href="Parmatch/index.html"><code>Parmatch</code></a> <span class="synopsis">Detection of partial matches and unused match cases.</span></li><li><a href="Parse/index.html"><code>Parse</code></a> <span class="synopsis">Entry points in the parser</span></li><li><a href="Parser/index.html"><code>Parser</code></a> </li><li><a href="Parsetree/index.html"><code>Parsetree</code></a> <span class="synopsis">Abstract syntax tree produced by parsing</span></li><li><a href="Pass_wrapper/index.html"><code>Pass_wrapper</code></a> </li><li><a href="Path/index.html"><code>Path</code></a> </li><li><a href="Patterns/index.html"><code>Patterns</code></a> </li><li><a href="Persistent_env/index.html"><code>Persistent_env</code></a> </li><li><a href="Polling/index.html"><code>Polling</code></a> <span class="synopsis">Analyses related to the insertion of <code>Ipoll</code> operations.</span></li><li><a href="Pparse/index.html"><code>Pparse</code></a> <span class="synopsis">Driver for the parser and external preprocessors.</span></li><li><a href="Pprintast/index.html"><code>Pprintast</code></a> <span class="synopsis">Pretty-printers for <a href="Parsetree/index.html"><code>Parsetree</code></a></span></li><li><a href="Predef/index.html"><code>Predef</code></a> </li><li><a href="Primitive/index.html"><code>Primitive</code></a> </li><li><a href="Printast/index.html"><code>Printast</code></a> <span class="synopsis">Raw printer for <a href="Parsetree/index.html"><code>Parsetree</code></a></span></li><li><a href="Printclambda/index.html"><code>Printclambda</code></a> </li><li><a href="Printclambda_primitives/index.html"><code>Printclambda_primitives</code></a> </li><li><a href="Printcmm/index.html"><code>Printcmm</code></a> </li><li><a href="Printinstr/index.html"><code>Printinstr</code></a> </li><li><a href="Printlambda/index.html"><code>Printlambda</code></a> </li><li><a href="Printlinear/index.html"><code>Printlinear</code></a> </li><li><a href="Printmach/index.html"><code>Printmach</code></a> </li><li><a href="Printpat/index.html"><code>Printpat</code></a> </li><li><a href="Printtyp/index.html"><code>Printtyp</code></a> </li><li><a href="Printtyped/index.html"><code>Printtyped</code></a> </li><li><a href="Proc/index.html"><code>Proc</code></a> </li><li><a href="Profile/index.html"><code>Profile</code></a> <span class="synopsis">Compiler performance recording</span></li><li><a href="Projection/index.html"><code>Projection</code></a> <span class="synopsis">Representation of projections from closures and blocks.</span></li><li><a href="Rec_check/index.html"><code>Rec_check</code></a> </li><li><a href="Ref_to_variables/index.html"><code>Ref_to_variables</code></a> <span class="synopsis">Transform <code>let</code>-bound references into variables.</span></li><li><a href="Reg/index.html"><code>Reg</code></a> </li><li><a href="Reload/index.html"><code>Reload</code></a> </li><li><a href="Reloadgen/index.html"><code>Reloadgen</code></a> </li><li><a href="Remove_free_vars_equal_to_args/index.html"><code>Remove_free_vars_equal_to_args</code></a> <span class="synopsis">Replace free variables in closures known to be equal to specialised arguments of such closures with those specialised arguments.</span></li><li><a href="Remove_unused_arguments/index.html"><code>Remove_unused_arguments</code></a> </li><li><a href="Remove_unused_closure_vars/index.html"><code>Remove_unused_closure_vars</code></a> </li><li><a href="Remove_unused_program_constructs/index.html"><code>Remove_unused_program_constructs</code></a> </li><li><a href="Runtimedef/index.html"><code>Runtimedef</code></a> </li><li><a href="Schedgen/index.html"><code>Schedgen</code></a> </li><li><a href="Scheduling/index.html"><code>Scheduling</code></a> </li><li><a href="Selectgen/index.html"><code>Selectgen</code></a> </li><li><a href="Selection/index.html"><code>Selection</code></a> </li><li><a href="Semantics_of_primitives/index.html"><code>Semantics_of_primitives</code></a> <span class="synopsis">Description of the semantics of primitives, to be used for optimization purposes.</span></li><li><a href="Set_of_closures_id/index.html"><code>Set_of_closures_id</code></a> <span class="synopsis">An identifier, unique across the whole program, that identifies a set of closures (viz. <code>Set_of_closures</code>).</span></li><li><a href="Set_of_closures_origin/index.html"><code>Set_of_closures_origin</code></a> </li><li><a href="Shape/index.html"><code>Shape</code></a> </li><li><a href="Share_constants/index.html"><code>Share_constants</code></a> <span class="synopsis">Share lifted constants that are eligible for sharing (e.g. not strings) and have equal definitions.</span></li><li><a href="Signature_group/index.html"><code>Signature_group</code></a> <span class="synopsis">Iterate on signature by syntactic group of items</span></li><li><a href="Simple_value_approx/index.html"><code>Simple_value_approx</code></a> <span class="synopsis">Simple approximations to the runtime results of computations. This pass is designed for speed rather than accuracy; the performance is important since it is used heavily during inlining.</span></li><li><a href="Simplif/index.html"><code>Simplif</code></a> <span class="synopsis">Lambda simplification.</span></li><li><a href="Simplify_boxed_integer_ops/index.html"><code>Simplify_boxed_integer_ops</code></a> </li><li><a href="Simplify_boxed_integer_ops_intf/index.html"><code>Simplify_boxed_integer_ops_intf</code></a> </li><li><a href="Simplify_common/index.html"><code>Simplify_common</code></a> <span class="synopsis"><code>const_*_expr expr v annot</code>, where the expression <code>expr</code> is known to evaluate to the value <code>v</code>, attempt to produce a more simple expression together with its approximation and the benefit gained by replacing <code>expr</code> with this new expression. This simplification is only performed if <code>expr</code> is known to have no side effects. Otherwise, <code>expr</code> itself is returned, with an appropriate approximation but zero benefit.</span></li><li><a href="Simplify_primitives/index.html"><code>Simplify_primitives</code></a> </li><li><a href="Spill/index.html"><code>Spill</code></a> </li><li><a href="Split/index.html"><code>Split</code></a> </li><li><a href="Static_exception/index.html"><code>Static_exception</code></a> <span class="synopsis">An identifier that is used to label static exceptions. Its uniqueness properties are unspecified.</span></li><li><a href="Strmatch/index.html"><code>Strmatch</code></a> </li><li><a href="Strongly_connected_components/index.html"><code>Strongly_connected_components</code></a> <span class="synopsis">Kosaraju's algorithm for strongly connected components.</span></li><li><a href="Stypes/index.html"><code>Stypes</code></a> </li><li><a href="Subst/index.html"><code>Subst</code></a> </li><li><a href="Switch/index.html"><code>Switch</code></a> </li><li><a href="Symbol/index.html"><code>Symbol</code></a> <span class="synopsis">A symbol identifies a constant provided by either:</span></li><li><a href="Symtable/index.html"><code>Symtable</code></a> </li><li><a href="Syntaxerr/index.html"><code>Syntaxerr</code></a> <span class="synopsis">Auxiliary type for reporting syntax errors</span></li><li><a href="Tag/index.html"><code>Tag</code></a> <span class="synopsis">Tags on runtime boxed values.</span></li><li><a href="Targetint/index.html"><code>Targetint</code></a> <span class="synopsis">Target processor-native integers.</span></li><li><a href="Tast_iterator/index.html"><code>Tast_iterator</code></a> <span class="synopsis">Allows the implementation of typed tree inspection using open recursion</span></li><li><a href="Tast_mapper/index.html"><code>Tast_mapper</code></a> </li><li><a href="Terminfo/index.html"><code>Terminfo</code></a> <span class="synopsis">Basic interface to the terminfo database</span></li><li><a href="Tmc/index.html"><code>Tmc</code></a> <span class="synopsis">Tail-modulo-cons optimization.</span></li><li><a href="Topcommon/index.html"><code>Topcommon</code></a> <span class="synopsis">This module provides common implementations for internals of <code>Toploop</code>, for bytecode and native code (see <code>Topeval</code> for the diverging parts of the implementation).</span></li><li><a href="Topdirs/index.html"><code>Topdirs</code></a> </li><li><a href="Topeval/index.html"><code>Topeval</code></a> <span class="synopsis">This module provides two alternative implementations for internals of <code>Toploop</code>, for bytecode and native code.</span></li><li><a href="Tophooks/index.html"><code>Tophooks</code></a> </li><li><a href="Toploop/index.html"><code>Toploop</code></a> </li><li><a href="Topmain/index.html"><code>Topmain</code></a> </li><li><a href="Topstart/index.html"><code>Topstart</code></a> </li><li><a href="Trace/index.html"><code>Trace</code></a> </li><li><a href="Translattribute/index.html"><code>Translattribute</code></a> </li><li><a href="Translclass/index.html"><code>Translclass</code></a> </li><li><a href="Translcore/index.html"><code>Translcore</code></a> </li><li><a href="Translmod/index.html"><code>Translmod</code></a> </li><li><a href="Translobj/index.html"><code>Translobj</code></a> </li><li><a href="Translprim/index.html"><code>Translprim</code></a> </li><li><a href="Traverse_for_exported_symbols/index.html"><code>Traverse_for_exported_symbols</code></a> </li><li><a href="Type_immediacy/index.html"><code>Type_immediacy</code></a> <span class="synopsis">Immediacy status of a type</span></li><li><a href="Typeclass/index.html"><code>Typeclass</code></a> </li><li><a href="Typecore/index.html"><code>Typecore</code></a> </li><li><a href="Typedecl/index.html"><code>Typedecl</code></a> </li><li><a href="Typedecl_immediacy/index.html"><code>Typedecl_immediacy</code></a> </li><li><a href="Typedecl_properties/index.html"><code>Typedecl_properties</code></a> </li><li><a href="Typedecl_separability/index.html"><code>Typedecl_separability</code></a> <span class="synopsis">The OCaml runtime assumes for type-directed optimizations that all types are "separable". A type is "separable" if either all its inhabitants (the values of this type) are floating-point numbers, or none of them are.</span></li><li><a href="Typedecl_unboxed/index.html"><code>Typedecl_unboxed</code></a> </li><li><a href="Typedecl_variance/index.html"><code>Typedecl_variance</code></a> </li><li><a href="Typedtree/index.html"><code>Typedtree</code></a> <span class="synopsis">Abstract syntax tree after typing</span></li><li><a href="Typemod/index.html"><code>Typemod</code></a> <span class="synopsis">Type-checking of the module language and typed ast hooks</span></li><li><a href="Typeopt/index.html"><code>Typeopt</code></a> </li><li><a href="Types/index.html"><code>Types</code></a> </li><li><a href="Typetexp/index.html"><code>Typetexp</code></a> </li><li><a href="Un_anf/index.html"><code>Un_anf</code></a> </li><li><a href="Unbox_closures/index.html"><code>Unbox_closures</code></a> <span class="synopsis">Turn free variables of closures into specialised arguments. The aim is to cause the closure to become closed.</span></li><li><a href="Unbox_free_vars_of_closures/index.html"><code>Unbox_free_vars_of_closures</code></a> <span class="synopsis">When approximations of free variables of closures indicate that they are closures or blocks, rewrite projections from such blocks to new variables (which become free in the closures), with the defining expressions of the projections lifted out of the corresponding sets of closures.</span></li><li><a href="Unbox_specialised_args/index.html"><code>Unbox_specialised_args</code></a> <span class="synopsis">When approximations of specialised arguments indicate that they are closures or blocks, add more specialised arguments corresponding to the projections from such blocks (with definitions of such projections lifted out), such that the original specialised arguments may later be eliminated.</span></li><li><a href="Untypeast/index.html"><code>Untypeast</code></a> </li><li><a href="Var_within_closure/index.html"><code>Var_within_closure</code></a> <span class="synopsis">An identifier, unique across the whole program, that identifies a particular variable within a particular closure. Only <code>Project_var</code>, and not <code>Var</code>, nodes are tagged with these identifiers.</span></li><li><a href="Variable/index.html"><code>Variable</code></a> <span class="synopsis"><code>Variable.t</code> is the equivalent of a non-persistent <code>Ident.t</code> in the <code>Flambda</code> tree. It wraps an <code>Ident.t</code> together with its source <code>compilation_unit</code>. As such, it is unique within a whole program, not just one compilation unit.</span></li><li><a href="Warnings/index.html"><code>Warnings</code></a> <span class="synopsis">Warning definitions</span></li><li><a href="X86_ast/index.html"><code>X86_ast</code></a> <span class="synopsis">Structured representation of Intel assembly language (32 and 64 bit).</span></li><li><a href="X86_dsl/index.html"><code>X86_dsl</code></a> <span class="synopsis">Helpers for Intel code generators</span></li><li><a href="X86_gas/index.html"><code>X86_gas</code></a> <span class="synopsis">Emit assembly instructions for gas.</span></li><li><a href="X86_masm/index.html"><code>X86_masm</code></a> <span class="synopsis">Emit assembly instructions for MASM (Intel syntax).</span></li><li><a href="X86_proc/index.html"><code>X86_proc</code></a> <span class="synopsis">Definitions shared between the 32 and 64 bit Intel backends.</span></li></ul><h2 id="package_info"><a href="#package_info" class="anchor"></a>Package info</h2><table class="package info"><tr id="info-changes-files"><td><a href="#info-changes-files" aria-hidden="true" class="anchor"></a>changes-files</td><td><ul><li><a type="text/plain; charset=UTF-8" href="_doc-dir/Changes">Changes</a></li></ul></td></tr><tr id="info-license-files"><td><a href="#info-license-files" aria-hidden="true" class="anchor"></a>license-files</td><td><ul><li><a type="text/plain; charset=UTF-8" href="_doc-dir/LICENSE">LICENSE</a></li></ul></td></tr><tr id="info-readme-files"><td><a href="#info-readme-files" aria-hidden="true" class="anchor"></a>readme-files</td><td><ul><li><a type="text/plain; charset=UTF-8" href="_doc-dir/README.adoc">README.adoc</a></li><li><a type="text/plain; charset=UTF-8" href="_doc-dir/README.win32.adoc">README.win32.adoc</a></li></ul></td></tr></table></div></body></html>
|