package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

compiler-libs.bytecomp
- Bytegen
- Bytelibrarian
- Bytelink
  - Dep
  - DepSet
- Bytepackager
- Compile
- Emitcode
- Errors
- Instruct
- Maindriver
- Printinstr
compiler-libs.common
- 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
- Binutils
- Btype
  - For_copy
  - TransientTypeMap
  - TypeHash
  - TypeMap
  - TypePairs
  - TypeSet
- Build_path_prefix_map
- Builtin_attributes
- Bytesections
  - Name
- 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
  - LexerUtil
  - LinearizedArray
  - PackedIntArray
  - Printers
    
    Make
    
    I
    
    User
  - RowDisplacement
  - StaticVersion
  - TableFormat
    
    TABLES
  - TableInterpreter
    
    MakeEngineTable
    
    Log
    
    T
- Ccomp
- Clflags
- Cmi_format
- Cmt2annot
- Cmt_format
- Compenv
- Compile_common
- Compmisc
- Compression
- Config
- Consistbl
  - Make
    
    Module_name
    
    Map
    
    Set
    
    Tbl
- Ctype
- Datarepr
- Debuginfo
  - Scoped_location
- Depend
- Diffing
  - Define
    
    D
    
    Left_variadic
    
    _
    
    Parameters
    
    Right_variadic
    
    _
    
    S
    
    Simple
    
    _
  - Defs
- Diffing_with_keys
  - Define
    
    D
    
    Parameters
    
    Simple
    
    _
- Dll
- Docstrings
  - WithMenhir
- Domainstate
- Env
- Envaux
- Errortrace
  - Subtype
- 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
- Includemod_errorprinter
- Int_replace_polymorphic_compare
- Lambda
- Lazy_backtrack
- Lexer
- Load_path
  - Dir
- Local_store
- Location
- Longident
- Main_args
- Makedepend
- Matching
- Meta
- Misc
  - Color
  - Error_style
  - Int_literal_converter
  - LongString
  - Magic_number
  - 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
    
    _
- Parse
- Parser
  - Incremental
  - MenhirInterpreter
- Path
  - Map
  - Set
- Patterns
  - General
  - Half_simple
  - Head
  - Non_empty_row
  - Simple
- Persistent_env
  - Consistbl
  - Persistent_signature
- Pparse
- Pprintast
- Predef
- Primitive
- Printast
- Printlambda
- Printpat
- Printtyp
- Printtyped
- Profile
- Rec_check
- Runtimedef
- Shape
  - Item
    
    Map
  - Make_reduce
    
    Context
  - Map
  - Sig_component_kind
  - Uid
    
    Map
    
    Set
    
    T
    
    Tbl
- Signature_group
- Simplif
- Strongly_connected_components
  - Make
    
    Id
    
    Map
    
    Set
    
    T
    
    Tbl
  - S
    
    Id
    
    Map
    
    Set
    
    T
    
    Tbl
- Stypes
- Subst
  - Lazy
- Switch
  - CtxStore
    
    A
  - CtxStored
  - Make
    
    Arg
  - S
  - Store
    
    A
  - Stored
- Symtable
- Syntaxerr
- Targetint
- Tast_iterator
- Tast_mapper
- Terminfo
- Tmc
- Translattribute
- Translclass
- Translcore
- Translmod
- Translobj
- Translprim
- Type_immediacy
  - Violation
- Typeclass
- Typecore
  - Datatype_kind
- Typedecl
- Typedecl_immediacy
- Typedecl_properties
- Typedecl_separability
- Typedecl_unboxed
- Typedecl_variance
- Typedtree
- Typemod
  - Sig_component_kind
  - Signature_names
- Typeopt
- Types
  - MethSet
  - Meths
  - Separability
  - TransientTypeOps
  - Transient_expr
  - VarSet
  - Variance
  - Vars
- Typetexp
  - TyVarEnv
- Untypeast
- Warnings
compiler-libs.optcomp
- Afl_instrument
- Alias_analysis
- Allocated_const
- Arch
- Asmgen
- Asmlibrarian
- Asmlink
- Asmpackager
- Augment_specialised_args
  - Definition
  - Make
    
    _
  - S
  - What_to_specialise
- Backend_var
  - Provenance
  - With_provenance
- Branch_relaxation
  - Make
    
    T
    
    Cond_branch
- Build_export_info
- 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_middle_end
- Closure_offsets
- Closure_origin
  - Map
  - Set
  - T
  - Tbl
- Cmm
- Cmm_helpers
- Cmm_invariants
- Cmmgen
- Cmmgen_state
- Coloring
- Comballoc
- Compilation_unit
  - Map
  - Set
  - T
  - Tbl
- Compilenv
- Convert_primitives
- Dataflow
  - Backward
    
    D
  - DOMAIN
- 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
  - UnitId
    
    Compilation_unit
    
    _
- 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
- Linear
- Linear_format
- Linearize
- Linkage_name
  - Map
  - Set
  - T
  - Tbl
- Linscan
- Liveness
- Mach
- Mutable_variable
  - Map
  - Set
  - T
  - Tbl
- Optcompile
- Opterrors
- Optmaindriver
- Parameter
  - List
  - Map
  - Set
  - T
  - Tbl
- Pass_wrapper
- Polling
- Printclambda
- Printclambda_primitives
- Printcmm
- Printlinear
- Printmach
- Proc
- Projection
  - Map
  - Set
  - T
  - Tbl
- Ref_to_variables
- Reg
  - Map
  - Raw_name
  - Set
- 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
- Spill
- Split
- Static_exception
  - Map
  - Set
  - T
  - Tbl
- Strmatch
  - I
  - Make
    
    _
- 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
compiler-libs.toplevel
- Genprintval
  - EVALPATH
  - Make
    
    O
    
    _
  - OBJ
  - S
- Topcommon
- Topdirs
- Topeval
- Toploop
- Topmain
- Topprinters
- Trace
dynlink
- Dynlink
runtime_events
- Runtime_events
  - Callbacks
  - Timestamp
  - Type
  - User
str
- Str
threads
- Event
- Thread
unix
- Unix
  - LargeFile
- UnixLabels
  - LargeFile

Legend:
Library
Module
Module type
Parameter
Class
Class type

Type expressions

val mk : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.core_type_desc ->
  Parsetree.core_type

val attr : Parsetree.core_type -> Parsetree.attribute -> Parsetree.core_type

val any : ?loc:loc -> ?attrs:attrs -> unit -> Parsetree.core_type

val var : ?loc:loc -> ?attrs:attrs -> string -> Parsetree.core_type

val arrow : 
  ?loc:loc ->
  ?attrs:attrs ->
  Asttypes.arg_label ->
  Parsetree.core_type ->
  Parsetree.core_type ->
  Parsetree.core_type

val tuple : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.core_type list ->
  Parsetree.core_type

val constr : 
  ?loc:loc ->
  ?attrs:attrs ->
  lid ->
  Parsetree.core_type list ->
  Parsetree.core_type

val object_ : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.object_field list ->
  Asttypes.closed_flag ->
  Parsetree.core_type

val class_ : 
  ?loc:loc ->
  ?attrs:attrs ->
  lid ->
  Parsetree.core_type list ->
  Parsetree.core_type

val alias : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.core_type ->
  string ->
  Parsetree.core_type

val variant : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.row_field list ->
  Asttypes.closed_flag ->
  Asttypes.label list option ->
  Parsetree.core_type

val poly : 
  ?loc:loc ->
  ?attrs:attrs ->
  str list ->
  Parsetree.core_type ->
  Parsetree.core_type

val package : 
  ?loc:loc ->
  ?attrs:attrs ->
  lid ->
  (lid * Parsetree.core_type) list ->
  Parsetree.core_type

val extension : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.extension ->
  Parsetree.core_type

val force_poly : Parsetree.core_type -> Parsetree.core_type

val varify_constructors : 
  str list ->
  Parsetree.core_type ->
  Parsetree.core_type

varify_constructors newtypes te is type expression te, of which any of nullary type constructor tc is replaced by type variable of the same name, if tc's name appears in newtypes. Raise Syntaxerr.Variable_in_scope if any type variable inside te appears in newtypes.

since 4.05