To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package ocaml-base-compiler
-
bigarray
-
dynlink
-
ocamlbytecomp
-
ocamlcommon
-
ocamlmiddleend
-
ocamloptcomp
-
odoc_info
-
raw_spacetime_lib
-
-
stdlib
-
str
-
threads
-
unix
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
ocaml-base-compiler 4.11.2
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_compareDomainstateLocationLongidentLong 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.IdentPathPrimitiveType_immediacyImmediacy status of a typeTypesBtypeOprintSubstPredefDatareprCmi_formatPersistent_envEnvTypedtreeAbstract syntax tree after typingPrinttypedCtypePrinttypIncludeclassMtypeEnvauxIncludecoreTast_iteratorAllows the implementation of typed tree inspection using open recursionTast_mapperStypesCmt_formatcmt and cmti files format.Cmt2annotUntypeastIncludemodTypetexpPrintpatParmatchDetection of partial matches and unused match cases.Typedecl_propertiesTypedecl_varianceTypedecl_unboxedTypedecl_immediacyTypedecl_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.TypedeclTypeoptRec_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.CompenvMain_argsCompmiscMakedependCompile_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 id