ocaml-base-compiler 4.09.1

To focus the search input from anywhere on the page, press the 'S' key.

in-package search v0.1.0

bigarray
- Bigarray
dynlink
- Dynlink
ocamlbytecomp
- Bytegen
- Bytelibrarian
- Bytelink
- Bytepackager
- Compile
- Emitcode
- Errors
- Instruct
- Printinstr
ocamlcommon
- Arg_helper
  - Make
    
    S
    
    Key
    
    Map
    
    Value
- Ast_helper
  - Attr
  - Cf
  - Ci
  - Cl
  - Const
  - Csig
  - Cstr
  - Ctf
  - Cty
  - Exp
  - Incl
  - Mb
  - Md
  - Mod
  - Ms
  - Mtd
  - Mty
  - Of
  - Opn
  - Pat
  - Rf
  - Sig
  - Str
  - Te
  - Typ
  - Type
  - Val
  - Vb
- Ast_invariants
- Ast_iterator
- Ast_mapper
- Attr_helper
- Btype
  - For_copy
  - TypeHash
  - TypeMap
  - TypeSet
- Build_path_prefix_map
- Builtin_attributes
- Bytesections
- CamlinternalMenhirLib
  - Convert
    
    Simplified
  - Engine
    
    Make
    
    T
    
    Log
  - EngineTypes
    
    ENGINE
    
    INCREMENTAL_ENGINE_START
    
    MONOLITHIC_ENGINE
    
    TABLE
    
    Log
  - ErrorReports
  - General
  - IncrementalEngine
    
    EVERYTHING
    
    INCREMENTAL_ENGINE
    
    INSPECTION
    
    SYMBOLS
  - InfiniteArray
  - InspectionTableFormat
    
    TABLES
  - InspectionTableInterpreter
    
    Make
    
    E
    
    ET
    
    Log
    
    IT
    
    TT
    
    Symbols
    
    T
  - LinearizedArray
  - PackedIntArray
  - Printers
    
    Make
    
    I
    
    User
  - RowDisplacement
  - StaticVersion
  - TableFormat
    
    TABLES
  - TableInterpreter
    
    MakeEngineTable
    
    Log
    
    T
- Ccomp
- Clflags
- Cmi_format
- Cmt_format
- Compenv
- Compile_common
- Compmisc
- Config
- Consistbl
  - Make
    
    Module_name
    
    Map
    
    Set
    
    Tbl
- Ctype
  - Unification_trace
- Datarepr
- Debuginfo
- Depend
- Dll
- Docstrings
  - WithMenhir
- Env
- Envaux
- Ident
  - Map
  - Set
  - T
  - Tbl
- Identifiable
  - Make
    
    Map
    
    Set
    
    T
    
    Tbl
  - Map
    
    T
  - Pair
    
    A
    
    B
  - S
    
    Map
    
    Set
    
    T
    
    Tbl
  - Set
    
    T
  - Tbl
    
    T
  - Thing
- Includeclass
- Includecore
- Includemod
- Int_replace_polymorphic_compare
- Lambda
- Lexer
- Load_path
  - Dir
- Location
- Longident
- Main_args
- Makedepend
- Matching
- Meta
- Misc
  - Color
  - EnvLazy
  - Error_style
  - Int_literal_converter
  - LongString
  - Stdlib
    
    Array
    
    List
    
    Option
    
    String
    
    Map
    
    Set
    
    Tbl
- Mtype
- Numbers
  - Float
    
    Map
    
    Set
    
    T
    
    Tbl
  - Int
    
    Map
    
    Set
    
    T
    
    Tbl
  - Int16
  - Int8
- Opcodes
- Oprint
- Parmatch
  - Compat
    
    Constr
- Parse
- Parser
  - Incremental
  - MenhirInterpreter
- Path
  - Map
  - Set
- Persistent_env
  - Consistbl
  - Persistent_signature
- Pparse
- Pprintast
- Predef
- Primitive
- Printast
- Printlambda
- Printpat
- Printtyp
- Printtyped
- Profile
- Rec_check
- Runtimedef
- Simplif
- Strongly_connected_components
  - Make
    
    Id
    
    Map
    
    Set
    
    T
    
    Tbl
  - S
    
    Id
    
    Map
    
    Set
    
    T
    
    Tbl
- Stypes
- Subst
- Switch
  - CtxStore
    
    A
  - CtxStored
  - Make
    
    Arg
  - S
  - Store
    
    A
  - Stored
- Symtable
- Syntaxerr
- Targetint
- Tast_iterator
- Tast_mapper
- Terminfo
- Translattribute
- Translclass
- Translcore
- Translmod
- Translobj
- Translprim
- Typeclass
- Typecore
- Typedecl
- Typedecl_immediacy
- Typedecl_properties
- Typedecl_unboxed
- Typedecl_variance
- Typedtree
- Typemod
  - Sig_component_kind
  - Signature_names
- Typeopt
- Types
  - Concr
  - Meths
  - TypeOps
  - Variance
  - Vars
- Typetexp
- Untypeast
- Warnings
ocamlmiddleend
- Alias_analysis
- Allocated_const
- Augment_specialised_args
  - Definition
  - Make
    
    T
  - S
  - What_to_specialise
- Backend_var
  - Provenance
  - With_provenance
- Build_export_info
- Clambda
- Clambda_primitives
- Closure
- Closure_conversion
- Closure_conversion_aux
  - Env
  - Function_decls
    
    Function_decl
- Closure_element
  - Map
  - Set
  - T
  - Tbl
- Closure_id
  - Map
  - Set
  - T
  - Tbl
- Closure_offsets
- Closure_origin
  - Map
  - Set
  - T
  - Tbl
- Compilation_unit
  - Map
  - Set
  - T
  - Tbl
- Compilenv
- Convert_primitives
- Effect_analysis
- Export_id
  - Map
  - Set
  - T
  - Tbl
- Export_info
- Export_info_for_pack
- Extract_projections
- Find_recursive_functions
- Flambda
  - Constant_defining_value
    
    Map
    
    Set
    
    T
    
    Tbl
  - With_free_variables
- Flambda_invariants
- Flambda_iterators
- Flambda_middle_end
- Flambda_to_clambda
- Flambda_utils
  - Switch_storer
- Freshening
  - Project_var
- Id_types
  - BaseId
  - Id
    
    E
  - UnitId
    
    Compilation_unit
    
    Id
- Import_approx
- Inconstant_idents
- Initialize_symbol_to_let_symbol
- Inline_and_simplify
- Inline_and_simplify_aux
  - Env
  - Result
- Inlining_cost
- Inlining_decision
- Inlining_stats
  - Closure_stack
- Inlining_stats_types
- Inlining_transforms
- Internal_variable_names
- Invariant_params
- Lift_code
- Lift_constants
- Lift_let_to_initialize_symbol
- Linkage_name
  - Map
  - Set
  - T
  - Tbl
- Mutable_variable
  - Map
  - Set
  - T
  - Tbl
- Parameter
  - List
  - Map
  - Set
  - T
  - Tbl
- Pass_wrapper
- Printclambda
- Printclambda_primitives
- Projection
  - Map
  - Set
  - T
  - Tbl
- Ref_to_variables
- Remove_free_vars_equal_to_args
- Remove_unused_arguments
- Remove_unused_closure_vars
- Remove_unused_program_constructs
- Semantics_of_primitives
- Set_of_closures_id
  - Map
  - Set
  - T
  - Tbl
- Set_of_closures_origin
  - Map
  - Set
  - T
  - Tbl
- Share_constants
- Simple_value_approx
- Simplify_boxed_integer_ops
- Simplify_common
- Simplify_primitives
- Static_exception
  - Map
  - Set
  - T
  - Tbl
- Symbol
  - Map
  - Set
  - T
  - Tbl
- Tag
  - Map
  - Set
  - T
  - Tbl
- Traverse_for_exported_symbols
- Un_anf
- Unbox_closures
- Unbox_free_vars_of_closures
- Unbox_specialised_args
- Var_within_closure
  - Map
  - Set
  - T
  - Tbl
- Variable
  - Map
  - Pair
    
    Map
    
    Set
    
    T
    
    Tbl
  - Set
  - T
  - Tbl
ocamloptcomp
- Afl_instrument
- Alias_analysis
- Allocated_const
- Arch
- Asmgen
- Asmlibrarian
- Asmlink
- Asmpackager
- Augment_specialised_args
  - Definition
  - Make
    
    T
  - S
  - What_to_specialise
- Available_regs
- Backend_var
  - Provenance
  - With_provenance
- Branch_relaxation
  - Make
    
    T
    
    Cond_branch
- Branch_relaxation_intf
  - S
    
    Cond_branch
- Build_export_info
- CSE
  - cse
- CSEgen
  - cse_generic
- Clambda
- Clambda_primitives
- Closure
- Closure_conversion
- Closure_conversion_aux
  - Env
  - Function_decls
    
    Function_decl
- Closure_element
  - Map
  - Set
  - T
  - Tbl
- Closure_id
  - Map
  - Set
  - T
  - Tbl
- Closure_offsets
- Closure_origin
  - Map
  - Set
  - T
  - Tbl
- Cmm
- Cmmgen
- Cmmgen_state
- Coloring
- Comballoc
- Compilation_unit
  - Map
  - Set
  - T
  - Tbl
- Compilenv
- Compute_ranges
  - Make
    
    Range
    
    S
    
    Index
    
    Map
    
    Set
    
    T
    
    Tbl
    
    Key
    
    Map
    
    Set
    
    Range_info
    
    Subrange_info
    
    Subrange_state
    
    Subrange
- Compute_ranges_intf
  - S
    
    Index
    
    Map
    
    Set
    
    T
    
    Tbl
    
    Key
    
    Map
    
    Set
    
    Range
    
    Range_info
    
    Subrange
    
    Subrange_info
    
    Subrange_state
  - S_functor
    
    Index
    
    Map
    
    Set
    
    T
    
    Tbl
    
    Key
    
    Map
    
    Set
    
    Range_info
    
    Subrange_info
    
    Subrange_state
  - S_range_info
  - S_subrange_info
  - S_subrange_state
- Convert_primitives
- Deadcode
- Effect_analysis
- Emit
- Emitaux
- Export_id
  - Map
  - Set
  - T
  - Tbl
- Export_info
- Export_info_for_pack
- Extract_projections
- Find_recursive_functions
- Flambda
  - Constant_defining_value
    
    Map
    
    Set
    
    T
    
    Tbl
  - With_free_variables
- Flambda_invariants
- Flambda_iterators
- Flambda_middle_end
- Flambda_to_clambda
- Flambda_utils
  - Switch_storer
- Freshening
  - Project_var
- Id_types
  - BaseId
  - Id
    
    E
  - UnitId
    
    Compilation_unit
    
    Id
- Import_approx
- Inconstant_idents
- Initialize_symbol_to_let_symbol
- Inline_and_simplify
- Inline_and_simplify_aux
  - Env
  - Result
- Inlining_cost
- Inlining_decision
- Inlining_stats
  - Closure_stack
- Inlining_stats_types
- Inlining_transforms
- Interf
- Internal_variable_names
- Interval
- Invariant_params
- Lift_code
- Lift_constants
- Lift_let_to_initialize_symbol
- Linearize
- Linkage_name
  - Map
  - Set
  - T
  - Tbl
- Linscan
- Liveness
- Mach
- Mutable_variable
  - Map
  - Set
  - T
  - Tbl
- Optcompile
- Opterrors
- Parameter
  - List
  - Map
  - Set
  - T
  - Tbl
- Pass_wrapper
- Printclambda
- Printclambda_primitives
- Printcmm
- Printlinear
- Printmach
- Proc
- Projection
  - Map
  - Set
  - T
  - Tbl
- Ref_to_variables
- Reg
  - Map
  - Raw_name
  - Set
- Reg_availability_set
- Reg_with_debug_info
- Reload
- Reloadgen
  - reload_generic
- Remove_free_vars_equal_to_args
- Remove_unused_arguments
- Remove_unused_closure_vars
- Remove_unused_program_constructs
- Schedgen
  - scheduler_generic
- Scheduling
- Selectgen
- Selection
- Semantics_of_primitives
- Set_of_closures_id
  - Map
  - Set
  - T
  - Tbl
- Set_of_closures_origin
  - Map
  - Set
  - T
  - Tbl
- Share_constants
- Simple_value_approx
- Simplify_boxed_integer_ops
- Simplify_common
- Simplify_primitives
- Spacetime_profiling
  - instruction_selection
- Spill
- Split
- Static_exception
  - Map
  - Set
  - T
  - Tbl
- Strmatch
  - I
  - Make
    
    I
- Symbol
  - Map
  - Set
  - T
  - Tbl
- Tag
  - Map
  - Set
  - T
  - Tbl
- Traverse_for_exported_symbols
- Un_anf
- Unbox_closures
- Unbox_free_vars_of_closures
- Unbox_specialised_args
- Var_within_closure
  - Map
  - Set
  - T
  - Tbl
- Variable
  - Map
  - Pair
    
    Map
    
    Set
    
    T
    
    Tbl
  - Set
  - T
  - Tbl
- X86_dsl
  - D
  - I
- X86_gas
- X86_masm
- X86_proc
ocamltoplevel
- Genprintval
  - EVALPATH
  - Make
    
    EVP
    
    O
  - OBJ
  - S
- Topdirs
- Toploop
- Topmain
- Trace
odoc_info
- Odoc_analyse
- Odoc_ast
  - Analyser
    
    My_ir
  - Typedtree_search
- Odoc_class
- Odoc_comments
  - Basic_info_retriever
  - Texter
- Odoc_comments_global
- Odoc_config
- Odoc_control
- Odoc_cross
- Odoc_dep
  - Dep
- Odoc_env
- Odoc_exception
- Odoc_extension
- Odoc_global
- Odoc_info
  - Class
  - Dep
  - Exception
  - Extension
  - Global
  - Module
  - Name
  - Parameter
  - Scan
    
    scanner
  - Search
  - Type
  - Value
- Odoc_inherit
- Odoc_lexer
- Odoc_merge
- Odoc_messages
- Odoc_misc
- Odoc_module
- Odoc_name
  - Map
- Odoc_parameter
- Odoc_parser
- Odoc_print
- Odoc_scan
  - scanner
- Odoc_search
  - P_name
  - Predicates
  - Search
    
    P
  - Search_by_name
- Odoc_see_lexer
- Odoc_sig
- Odoc_str
- Odoc_text
  - Texter
- Odoc_text_lexer
- Odoc_text_parser
- Odoc_type
- Odoc_types
- Odoc_value
raw_spacetime_lib
- Raw_spacetime_lib
  - Annotation
  - Frame_table
  - Function_entry_point
  - Function_identifier
  - Gc_stats
  - Heap_snapshot
    
    Entries
    
    Event
    
    Series
    
    Total_allocation
  - Program_counter
    
    Foreign
    
    OCaml
  - Shape_table
  - Trace
    
    Foreign
    
    Allocation_point
    
    Call_point
    
    Field
    
    Node
    
    Node
    
    Map
    
    Set
    
    OCaml
    
    Allocation_point
    
    Direct_call_point
    
    Field
    
    Indirect_call_point
    
    Callee
    
    Node
stdlib
- CamlinternalFormat
- CamlinternalFormatBasics
- CamlinternalLazy
- CamlinternalMod
- CamlinternalOO
- Stdlib
  - Arg
  - Array
  - ArrayLabels
  - Bigarray
    
    Array0
    
    Array1
    
    Array2
    
    Array3
    
    Genarray
  - Bool
  - Buffer
  - Bytes
  - BytesLabels
  - Callback
  - Char
  - Complex
  - Digest
  - Ephemeron
    
    GenHashTable
    
    MakeSeeded
    
    H
    
    K1
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    K2
    
    Make
    
    H1
    
    H2
    
    MakeSeeded
    
    H1
    
    H2
    
    Kn
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    S
    
    SeededS
  - Filename
  - Float
    
    Array
    
    ArrayLabels
  - Format
  - Fun
  - Gc
  - Genlex
  - Hashtbl
    
    HashedType
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    S
    
    SeededHashedType
    
    SeededS
  - Int
  - Int32
  - Int64
  - LargeFile
  - Lazy
  - Lexing
  - List
  - ListLabels
  - Map
    
    Make
    
    Ord
    
    OrderedType
    
    S
  - Marshal
  - MoreLabels
    
    Hashtbl
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    S
    
    SeededS
    
    Map
    
    Make
    
    Ord
    
    S
    
    Set
    
    Make
    
    Ord
    
    S
  - Nativeint
  - Obj
    
    Ephemeron
    
    Extension_constructor
  - Oo
  - Option
  - Parsing
  - Pervasives
  - Printexc
    
    Slot
  - Printf
  - Queue
  - Random
    
    State
  - Result
  - Scanf
    
    Scanning
  - Seq
  - Set
    
    Make
    
    Ord
    
    OrderedType
    
    S
  - Spacetime
    
    Series
    
    Snapshot
  - Stack
  - StdLabels
  - Stream
  - String
  - StringLabels
  - Sys
  - Uchar
  - Unit
  - Weak
    
    Make
    
    H
    
    S
str
- Str
threads
- Condition
- Event
- Mutex
- Thread
- ThreadUnix
unix
- Unix
  - LargeFile
- UnixLabels
  - LargeFile

Legend:
Library
Module
Module type
Parameter
Class
Class type

Standard labeled libraries.

This meta-module provides labelized version of the Array, Bytes, List and String modules.

They only differ by their labels. Detailed interfaces can be found in arrayLabels.mli, bytesLabels.mli, listLabels.mli and stringLabels.mli.

module Array = ArrayLabels

module Bytes = BytesLabels

module List = ListLabels

module String = StringLabels