Up – ocamlConditionCondition variables to synchronize between threads. EventFirst-class synchronous communication. MutexLocks for mutual exclusion. SemaphoreSemaphores ThreadLightweight threads for Posix 1003.1c and Win32. ThreadUnixThread-compatible system calls. Afl_instrumentInstrumentation for afl-fuzz. Alias_analysisAllocated_constAnnotArchArg_helperDecipher command line arguments of the form <value> | <key>=<value>,... AsmgenFrom Lambda to assembly code AsmlibrarianAsmlinkAsmpackagerAst_helperHelpers to produce Parsetree fragments Ast_invariantsCheck AST invariants Ast_iteratoriterator enables AST inspection using open recursion. A typical mapper would be based on default_iterator, a trivial iterator, and will fall back on it for handling the syntax it does not modify.Ast_mapperThe interface of a -ppx rewriter AsttypesAuxiliary AST types used by parsetree and typedtree. Attr_helperHelpers for attributes Augment_specialised_argsHelper module for adding specialised arguments to sets of closures. Available_regsAvailable registers analysis used to determine which variables may be shown in the debugger. Backend_intfBackend_varVariables used in the backend, optionally equipped with "provenance" information, used for the emission of debugging information. BinutilsBranch_relaxationBranch_relaxation_intfBtypeBuild_export_infoBuild_path_prefix_mapRewrite paths for reproducible builds Builtin_attributesSupport for some of the builtin attributes BytegenBytelibrarianBytelinkBytepackagerBytesectionsRecording sections written to a bytecode executable file CSECSEgenCamlinternalMenhirLibCcompCompiling C files and building C libraries ClambdaClambda_primitivesClflagsCommand line flags ClosureClosure_conversionClosure_conversion_auxClosure_elementClosure_idClosure_middle_endClosure_offsetsClosure_originCmi_formatCmmCmm_helpersCmmgenCmmgen_stateMutable state used by Cmmgen. Cmo_formatCmt2annotCmt_formatcmt and cmti files format. Cmx_formatCmxs_formatColoringComballocCompenvCompilation_unitCompileBytecode compilation for .ml and .mli files. Compile_commonCommon compilation pipeline between bytecode and native. CompilenvCompmiscCompute_rangesCoalescing of per-instruction information into possibly-discontiguous regions of code delimited by labels. This is used for collating register availability and lexical block scoping information into a concise form. Compute_ranges_intfConfigSystem configuration ConsistblConsistency tables: for checking consistency of module CRCs Convert_primitivesCtypeDatareprDeadcodeDebuginfoDependModule dependencies. DllDocstringsDocumentation comments DomainstateEffect_analysisEmitEmitauxEmitcodeEnvEnvauxErrorsExport_idExport_infoExport_info_for_packExpungeExtract_projectionsIdentify projections from variables used in function bodies (free variables or specialised args, for example, according to which_variables below). Projections from variables that are also used boxed are not returned. Find_recursive_functionsFlambdaFlambda_invariantsFlambda_iteratorsFlambda_middle_endFlambda_to_clambdaFlambda_utilsFresheningGenprintvalId_typesIdentIdentifiableUniform interface for common data structures over various things. Import_approxIncludeclassIncludecoreIncludemodInconstant_identsInitialize_symbol_to_let_symbolInline_and_simplifyInline_and_simplify_auxInlining_costInlining_decisionInlining_decision_intfInlining_statsInlining_stats_typesInlining_transformsInstructInt_replace_polymorphic_compareInterfInternal_variable_namesIntervalInvariant_paramsLambdaLexerThe lexical analyzer Lift_codeLift_constantsLift_let_to_initialize_symbolLinearLinear_formatLinearizeLinkage_nameLinscanLivenessLoad_pathManagement of include directories. Local_storeThis module provides some facilities for creating references (and hash tables) which can easily be snapshoted and restored to an arbitrary version. LocationLongidentLong identifiers, used in parsetree. MachMainMain_argsMaindriverMakedependMatchingMetaMiscMiscellaneous useful types and functions MtypeMutable_variableNumbersModules about numbers, some of which satisfy Identifiable.S OpcodesOprintOptcompileNative compilation for .ml and .mli files. OpterrorsOptmainOptmaindriverOutcometreeParameterParmatchDetection of partial matches and unused match cases. ParseEntry points in the parser ParserParsetreeAbstract syntax tree produced by parsing Pass_wrapperPathPatternsPersistent_envPparseDriver for the parser and external preprocessors. PprintastPretty-printers for Parsetree PredefPrimitivePrintastRaw printer for Parsetree PrintclambdaPrintclambda_primitivesPrintcmmPrintinstrPrintlambdaPrintlinearPrintmachPrintpatPrinttypPrinttypedProcProfileCompiler performance recording ProjectionRepresentation of projections from closures and blocks. Rec_checkRef_to_variablesRegReg_availability_setRegister availability sets. Reg_with_debug_infoRegisters equipped with information used for generating debugging information. ReloadReloadgenRemove_free_vars_equal_to_argsReplace free variables in closures known to be equal to specialised arguments of such closures with those specialised arguments. Remove_unused_argumentsRemove_unused_closure_varsRemove_unused_program_constructsRuntimedefSchedgenSchedulingSelectgenSelectionSemantics_of_primitivesSet_of_closures_idSet_of_closures_originShare_constantsSimple_value_approxSimplifLambda simplification. Simplify_boxed_integer_opsSimplify_boxed_integer_ops_intfSimplify_commonSimplify_primitivesSpillSplitStatic_exceptionStrmatchStrongly_connected_componentsKosaraju's algorithm for strongly connected components. StypesSubstSwitchSymbolSymtableSyntaxerrAuxiliary type for reporting syntax errors TagTargetintTarget processor-native integers. Tast_iteratorAllows the implementation of typed tree inspection using open recursion Tast_mapperTerminfoBasic interface to the terminfo database TopdirsToploopTopmainTopstartTraceTranslattributeTranslclassTranslcoreTranslmodTranslobjTranslprimTraverse_for_exported_symbolsType_immediacyImmediacy status of a type TypeclassTypecoreTypedeclTypedecl_immediacyTypedecl_propertiesTypedecl_separabilityThe 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. Typedecl_unboxedTypedecl_varianceTypedtreeAbstract syntax tree after typing TypemodType-checking of the module language and typed ast hooks TypeoptTypesTypetexpUn_anfUnbox_closuresUnbox_free_vars_of_closuresWhen 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. Unbox_specialised_argsWhen 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. UntypeastVar_within_closureVariableWarningsWarning definitions X86_astStructured representation of Intel assembly language (32 and 64 bit). X86_dslHelpers for Intel code generators X86_gasEmit assembly instructions for gas. X86_masmEmit assembly instructions for MASM (Intel syntax). X86_procDefinitions shared between the 32 and 64 bit Intel backends.