To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
ocaml-base-compiler 4.09.1
Libraries
This package provides the following libraries (via ocamlobjinfo):
threads
Documentation:
ThreadLightweight threads for Posix1003.1cand Win32.MutexLocks for mutual exclusion.ConditionCondition variables to synchronize between threads.EventFirst-class synchronous communication.ThreadUnixThread-compatible system calls.
odoc_info
Documentation:
Odoc_configOdoc_messagesOdoc_globalOdoc_typesOdoc_miscOdoc_text_parserOdoc_text_lexerOdoc_textOdoc_nameOdoc_parameterOdoc_valueOdoc_typeOdoc_extensionOdoc_exceptionOdoc_classOdoc_moduleOdoc_printOdoc_strOdoc_comments_globalOdoc_parserOdoc_lexerOdoc_see_lexerOdoc_envOdoc_mergeOdoc_sigOdoc_astOdoc_controlOdoc_inheritOdoc_searchOdoc_scanOdoc_crossOdoc_commentsOdoc_depOdoc_analyseOdoc_infoInterface to the information collected in source files.
ocamlbytecomp
Documentation:
InstructBytegenPrintinstrEmitcodeBytelinkBytelibrarianBytepackagerErrorsCompileBytecode compilation for .ml and .mli files.
ocamlcommon
Documentation:
ConfigSystem configurationBuild_path_prefix_mapRewrite paths for reproducible buildsMiscMiscellaneous useful types and functionsIdentifiableUniform interface for common data structures over various things.NumbersModules about numbers, some of which satisfyIdentifiable.S.Arg_helperDecipher command line arguments of the form <value> | <key>=<value>,...ClflagsCommand line flagsProfileCompiler performance recordingLoad_pathManagement of include directories.TerminfoBasic interface to the terminfo databaseCcompCompiling C files and building C librariesWarningsWarning definitionsConsistblConsistency tables: for checking consistency of module CRCsStrongly_connected_componentsKosaraju's algorithm for strongly connected components.TargetintTarget processor-native integers.Int_replace_polymorphic_compareLocationLongidentLong identifiers, used in parsetree.DocstringsDocumentation commentsSyntaxerrAuxiliary type for reporting syntax errorsAst_helperHelpers to produce Parsetree fragmentsPprintastPretty-printers forParsetreeCamlinternalMenhirLibParserLexerThe lexical analyzerParseEntry points in the parserPrintastRaw printer forParsetreeAst_mapperThe interface of a -ppx rewriterAst_iteratoriteratorenables AST inspection using open recursion. A typical mapper would be based ondefault_iterator, a trivial iterator, and will fall back on it for handling the syntax it does not modify.Attr_helperHelpers for attributesBuiltin_attributesSupport for some of the builtin attributesAst_invariantsCheck AST invariantsDependModule dependencies.IdentPathPrimitiveTypesBtypeOprintSubstPredefDatareprCmi_formatPersistent_envEnvTypedtreeAbstract syntax tree after typingPrinttypedCtypePrinttypIncludeclassMtypeEnvauxIncludecoreTast_iteratorAllows the implementation of typed tree inspection using open recursionTast_mapperCmt_formatcmt and cmti files format.UntypeastIncludemodTypetexpPrintpatParmatchDetection of partial matches and unused match cases.StypesTypedecl_propertiesTypedecl_varianceTypedecl_unboxedTypedecl_immediacyTypedeclTypeoptRec_checkTypecoreTypeclassTypemodType-checking of the module language and typed ast hooksDebuginfoLambdaPrintlambdaSwitchMatchingTranslobjTranslattributeTranslprimTranslcoreTranslclassTranslmodSimplifLambda simplification.RuntimedefMetaOpcodesBytesectionsRecording sections written to a bytecode executable fileDllSymtablePparseDriver for the parser and external preprocessors.Main_argsCompenvCompmiscMakedependCompile_commonCommon compilation pipeline between bytecode and native.
ocamlmiddleend
Documentation:
Internal_variable_namesLinkage_nameCompilation_unitVariableVariable.tis the equivalent of a non-persistentIdent.tin theFlambdatree. It wraps anIdent.ttogether with its sourcecompilation_unit. As such, it is unique within a whole program, not just one compilation unit.Closure_elementClosure_idCR-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.SymbolA symbol identifies a constant provided by either:Backend_varVariables used in the backend, optionally equipped with "provenance" information, used for the emission of debugging information.Clambda_primitivesPrintclambda_primitivesClambdaPrintclambdaSemantics_of_primitivesDescription of the semantics of primitives, to be used for optimization purposes.Convert_primitivesId_typesExport_idTagTags on runtime boxed values.Mutable_variableSet_of_closures_idAn identifier, unique across the whole program, that identifies a set of closures (viz.Set_of_closures).Set_of_closures_originClosure_originVar_within_closureAn identifier, unique across the whole program, that identifies a particular variable within a particular closure. OnlyProject_var, and notVar, nodes are tagged with these identifiers.Static_exceptionAn identifier that is used to label static exceptions. Its uniqueness properties are unspecified.Pass_wrapperAllocated_constConstants that are always allocated (possibly statically). Blocks are not included here since they are always encoded usingPrim (Pmakeblock, ...).ParameterParameter.tcarries a uniqueVariable.tused as function parameter. It can also carry annotations about the usage of the variable.ProjectionRepresentation of projections from closures and blocks.FlambdaIntermediate language used for tree-based analysis and optimization.Flambda_iteratorsFlambda_utilsUtility functions for the Flambda intermediate language.FresheningFreshening of various identifiers.Effect_analysisSimple side effect analysis.Inlining_costMeasurement of the cost (including cost in space) of Flambda terms in the context of inlining.Simple_value_approxSimple 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.Export_infoExported information (that is to say, information written into a .cmx file) about a compilation unit.Export_info_for_packTransformations on export information that are only used for the building of packs.CompilenvClosureImport_approxCreate simple value approximations from the export information in .cmx files.Lift_codeClosure_conversion_auxEnvironments and auxiliary structures used during closure conversion.Closure_conversionInitialize_symbol_to_let_symbolLift_let_to_initialize_symbolFind_recursive_functions"Recursive functions" are those functionsfthat might call either:Invariant_paramsInconstant_identsAlias_analysisLift_constantsThe 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.Share_constantsShare lifted constants that are eligible for sharing (e.g. not strings) and have equal definitions.Simplify_commonconst_*_expr expr v annot, where the expressionexpris known to evaluate to the valuev, attempt to produce a more simple expression together with its approximation and the benefit gained by replacingexprwith this new expression. This simplification is only performed ifexpris known to have no side effects. Otherwise,expritself is returned, with an appropriate approximation but zero benefit.Remove_unused_argumentsRemove_unused_closure_varsRemove_unused_program_constructsSimplify_boxed_integer_opsSimplify_primitivesInlining_stats_typesInlining_statsInline_and_simplify_auxEnvironments and result structures used during inlining and simplification. (See inline_and_simplify.ml.)Remove_free_vars_equal_to_argsReplace free variables in closures known to be equal to specialised arguments of such closures with those specialised arguments.Extract_projectionsIdentify projections from variables used in function bodies (free variables or specialised args, for example, according towhich_variablesbelow). Projections from variables that are also used boxed are not returned.Augment_specialised_argsHelper module for adding specialised arguments to sets of closures.Unbox_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.Unbox_closuresTurn free variables of closures into specialised arguments. The aim is to cause the closure to become closed.Inlining_transformsSource code transformations used during inlining.Inlining_decisionSee the Flambda manual chapter for an explanation in prose of the inlining decision procedure.Inline_and_simplifyRef_to_variablesTransformlet-bound references into variables.Flambda_invariantsTraverse_for_exported_symbolsBuild_export_infoConstruct export information, for emission into .cmx files, from an Flambda program.Closure_offsetsAssign numerical offsets, within closure blocks, for code pointers and environment entries.Un_anfFlambda_to_clambdaFlambda_middle_end
ocamloptcomp
Documentation:
Internal_variable_namesLinkage_nameCompilation_unitVariableVariable.tis the equivalent of a non-persistentIdent.tin theFlambdatree. It wraps anIdent.ttogether with its sourcecompilation_unit. As such, it is unique within a whole program, not just one compilation unit.Closure_elementClosure_idCR-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.SymbolA symbol identifies a constant provided by either:Backend_varVariables used in the backend, optionally equipped with "provenance" information, used for the emission of debugging information.Clambda_primitivesPrintclambda_primitivesClambdaPrintclambdaSemantics_of_primitivesDescription of the semantics of primitives, to be used for optimization purposes.Convert_primitivesId_typesExport_idTagTags on runtime boxed values.Mutable_variableSet_of_closures_idAn identifier, unique across the whole program, that identifies a set of closures (viz.Set_of_closures).Set_of_closures_originClosure_originVar_within_closureAn identifier, unique across the whole program, that identifies a particular variable within a particular closure. OnlyProject_var, and notVar, nodes are tagged with these identifiers.Static_exceptionAn identifier that is used to label static exceptions. Its uniqueness properties are unspecified.Pass_wrapperAllocated_constConstants that are always allocated (possibly statically). Blocks are not included here since they are always encoded usingPrim (Pmakeblock, ...).ParameterParameter.tcarries a uniqueVariable.tused as function parameter. It can also carry annotations about the usage of the variable.ProjectionRepresentation of projections from closures and blocks.FlambdaIntermediate language used for tree-based analysis and optimization.Flambda_iteratorsFlambda_utilsUtility functions for the Flambda intermediate language.FresheningFreshening of various identifiers.Effect_analysisSimple side effect analysis.Inlining_costMeasurement of the cost (including cost in space) of Flambda terms in the context of inlining.Simple_value_approxSimple 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.Export_infoExported information (that is to say, information written into a .cmx file) about a compilation unit.Export_info_for_packTransformations on export information that are only used for the building of packs.CompilenvClosureImport_approxCreate simple value approximations from the export information in .cmx files.Lift_codeClosure_conversion_auxEnvironments and auxiliary structures used during closure conversion.Closure_conversionInitialize_symbol_to_let_symbolLift_let_to_initialize_symbolFind_recursive_functions"Recursive functions" are those functionsfthat might call either:Invariant_paramsInconstant_identsAlias_analysisLift_constantsThe 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.Share_constantsShare lifted constants that are eligible for sharing (e.g. not strings) and have equal definitions.Simplify_commonconst_*_expr expr v annot, where the expressionexpris known to evaluate to the valuev, attempt to produce a more simple expression together with its approximation and the benefit gained by replacingexprwith this new expression. This simplification is only performed ifexpris known to have no side effects. Otherwise,expritself is returned, with an appropriate approximation but zero benefit.Remove_unused_argumentsRemove_unused_closure_varsRemove_unused_program_constructsSimplify_boxed_integer_opsSimplify_primitivesInlining_stats_typesInlining_statsInline_and_simplify_auxEnvironments and result structures used during inlining and simplification. (See inline_and_simplify.ml.)Remove_free_vars_equal_to_argsReplace free variables in closures known to be equal to specialised arguments of such closures with those specialised arguments.Extract_projectionsIdentify projections from variables used in function bodies (free variables or specialised args, for example, according towhich_variablesbelow). Projections from variables that are also used boxed are not returned.Augment_specialised_argsHelper module for adding specialised arguments to sets of closures.Unbox_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.Unbox_closuresTurn free variables of closures into specialised arguments. The aim is to cause the closure to become closed.Inlining_transformsSource code transformations used during inlining.Inlining_decisionSee the Flambda manual chapter for an explanation in prose of the inlining decision procedure.Inline_and_simplifyRef_to_variablesTransformlet-bound references into variables.Flambda_invariantsTraverse_for_exported_symbolsBuild_export_infoConstruct export information, for emission into .cmx files, from an Flambda program.Closure_offsetsAssign numerical offsets, within closure blocks, for code pointers and environment entries.Un_anfFlambda_to_clambdaFlambda_middle_endX86_procDefinitions shared between the 32 and 64 bit Intel backends.X86_dslHelpers for Intel code generatorsX86_gasEmit assembly instructions for gas.X86_masmEmit assembly instructions for MASM (Intel syntax).ArchCmmPrintcmmRegReg_with_debug_infoRegisters equipped with information used for generating debugging information.Reg_availability_setRegister availability sets.MachProcAfl_instrumentInstrumentation for afl-fuzz.StrmatchCmmgen_stateMutable state used byCmmgen.CmmgenIntervalPrintmachSelectgenSpacetime_profilingInsertion of instrumentation code for Spacetime profiling.SelectionComballocCSEgenCSELivenessSpillSplitInterfColoringLinscanReloadgenReloadDeadcodePrintlinearLinearizeAvailable_regsAvailable registers analysis used to determine which variables may be shown in the debugger.Compute_ranges_intfThis file defines types that are used to specify the interface ofCompute_ranges. The description ofCompute_rangesis:Compute_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.SchedgenSchedulingBranch_relaxation_intfBranch_relaxationEmitauxEmitAsmgenAsmlinkAsmlibrarianAsmpackagerOpterrorsOptcompileNative compilation for .ml and .mli files.
ocamltoplevel
Documentation:
bigarray
Documentation:
BigarrayLarge, multi-dimensional, numerical arrays.
dynlink
Documentation:
Dynlink_compilerlibsDynlink_typesDynlink_platform_intf