Index of values

(<) [Int_replace_polymorphic_compare]
(<=) [Int_replace_polymorphic_compare]
(<>) [Int_replace_polymorphic_compare]
(=) [Int_replace_polymorphic_compare]
(>) [Int_replace_polymorphic_compare]
(>=) [Int_replace_polymorphic_compare]
A
abs [Targetint]

abs x is the absolute value of x.

absname [Clflags]
absolute_path [Location]
acceptable [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
action [CamlinternalMenhirLib.TableFormat.TABLES]
action [CamlinternalMenhirLib.EngineTypes.TABLE]
add [Targetint]

Addition.

add [Load_path]

Old name for Load_path.append_dir

add_arguments [Clflags]
add_base_override [Arg_helper.Make]
add_dir [Load_path]

Add a directory to the end of the load path (i.e.

add_docs_attrs [Docstrings]

Convert item documentation to attributes and add them to an attribute list

add_implementation [Depend]
add_implementation_binding [Depend]
add_info_attrs [Docstrings]

Convert field info to attributes and add them to an attribute list

add_ppx_context_sig [Ast_mapper]

Same as add_ppx_context_str, but for signatures.

add_ppx_context_str [Ast_mapper]

Extract information from the current environment and encode it into an attribute which is prepended to the list of structure items in order to pass the information to an external processor.

add_signature [Depend]
add_signature_binding [Depend]
add_text_attrs [Docstrings]

Convert text to attributes and add them to an attribute list

add_use_file [Depend]
add_user_override [Arg_helper.Make]
afl_inst_ratio [Clflags]
afl_instrument [Config]

Whether afl-fuzz instrumentation is generated by default

afl_instrument [Config_main]

Whether afl-fuzz instrumentation is generated by default

afl_instrument [Config_boot]

Whether afl-fuzz instrumentation is generated by default

afl_instrument [Clflags]
alert [Location]

Prints an arbitrary alert.

alert_reporter [Location]

Hook for intercepting alerts.

alerts_of_attrs [Builtin_attributes]
alerts_of_sig [Builtin_attributes]
alerts_of_str [Builtin_attributes]
alias [Ast_helper.Mty]
alias [Ast_helper.Pat]
alias [Ast_helper.Typ]
align [Misc]
all_ccopts [Clflags]
all_columns [Profile]
all_passes [Clflags]
all_ppx [Clflags]
all_somes [Misc.Stdlib.Array]
annotations [Clflags]
ansi_of_style_l [Misc.Color]
any [Ast_helper.Pat]
any [Ast_helper.Typ]
append_dir [Load_path]

append_dir d adds d to the end of the load path (i.e.

applicative_functors [Clflags]
apply [Ast_mapper]

Apply a mapper (parametrized by the unit name) to a dumped parsetree found in the source file and put the result in the target file.

apply [Ast_helper.Cl]
apply [Ast_helper.Mod]
apply [Ast_helper.Exp]
apply_rewriters [Pparse]

If restore = true (the default), cookies set by external rewriters will be kept for later calls.

apply_rewriters_sig [Pparse]
apply_rewriters_str [Pparse]
ar [Config]

Name of the ar command, or "" if not needed (MSVC)

ar [Config_main]

Name of the ar command, or "" if not needed (MSVC)

ar [Config_boot]

Name of the ar command, or "" if not needed (MSVC)

architecture [Config]

Name of processor type for the native-code compiler

architecture [Config_main]

Name of processor type for the native-code compiler

architecture [Config_boot]

Name of processor type for the native-code compiler

arg_spec [Clflags]
array [Ast_helper.Exp]
array [Ast_helper.Pat]
arrow [Ast_helper.Cty]
arrow [Ast_helper.Typ]
as_has_debug_prefix_map [Config]

Whether the assembler supports --debug-prefix-map

as_has_debug_prefix_map [Config_main]

Whether the assembler supports --debug-prefix-map

as_has_debug_prefix_map [Config_boot]

Whether the assembler supports --debug-prefix-map

asm [Config]

The assembler (and flags) to use for assembling ocamlopt-generated code.

asm [Config_main]

The assembler (and flags) to use for assembling ocamlopt-generated code.

asm [Config_boot]

The assembler (and flags) to use for assembling ocamlopt-generated code.

asm_cfi_supported [Config]

Whether assembler understands CFI directives

asm_cfi_supported [Config_main]

Whether assembler understands CFI directives

asm_cfi_supported [Config_boot]

Whether assembler understands CFI directives

assert_ [Ast_helper.Exp]
ast_impl_magic_number [Config]

Magic number for file holding an implementation syntax tree

ast_impl_magic_number [Config_main]

Magic number for file holding an implementation syntax tree

ast_impl_magic_number [Config_boot]

Magic number for file holding an implementation syntax tree

ast_intf_magic_number [Config]

Magic number for file holding an interface syntax tree

ast_intf_magic_number [Config_main]

Magic number for file holding an interface syntax tree

ast_intf_magic_number [Config_boot]

Magic number for file holding an interface syntax tree

attr [Ast_helper.Cf]
attr [Ast_helper.Cl]
attr [Ast_helper.Ctf]
attr [Ast_helper.Cty]
attr [Ast_helper.Mod]
attr [Ast_helper.Mty]
attr [Ast_helper.Exp]
attr [Ast_helper.Pat]
attr [Ast_helper.Typ]
attribute [Ast_helper.Cf]
attribute [Ast_helper.Ctf]
attribute [Ast_helper.Str]
attribute [Ast_helper.Sig]
attribute_of_warning [Ast_mapper]

Encode a warning message into an 'ocaml.ppwarning' attribute which can be inserted in a generated Parsetree.

auto_include_alert [Location]

Prints an alert that -I +lib has been automatically added to the load path

auto_include_otherlibs [Load_path]

auto_include_otherlibs alert is a callback function to be passed to Load_path.init and automatically adds -I +lib to the load path after calling alert lib.

available_pass_names [Clflags.Compiler_pass]
B
backtrack [Lazy_backtrack]
backup [Warnings]
backup [Terminfo]
batch_mode_printer [Location]
best_toplevel_printer [Location]

Detects the terminal capabilities and selects an adequate printer

binary_annotations [Clflags]
binding [Pprintast]
binding_op [Ast_helper.Exp]
bindir [Config]

The directory containing the binary programs

bindir [Config_main]

The directory containing the binary programs

bindir [Config_boot]

The directory containing the binary programs

blit [Misc.LongString]
blit_string [Misc.LongString]
bytecode_compatible_32 [Clflags]
bytecomp_c_libraries [Config]

The C libraries to link with custom runtimes

bytecomp_c_libraries [Config_main]

The C libraries to link with custom runtimes

bytecomp_c_libraries [Config_boot]

The C libraries to link with custom runtimes

C
c_compiler [Config]

The compiler to use for compiling C files

c_compiler [Config_main]

The compiler to use for compiling C files

c_compiler [Config_boot]

The compiler to use for compiling C files

c_compiler [Clflags]
c_has_debug_prefix_map [Config]

Whether the C compiler supports -fdebug-prefix-map

c_has_debug_prefix_map [Config_main]

Whether the C compiler supports -fdebug-prefix-map

c_has_debug_prefix_map [Config_boot]

Whether the C compiler supports -fdebug-prefix-map

c_output_obj [Config]

Name of the option of the C compiler for specifying the output file

c_output_obj [Config_main]

Name of the option of the C compiler for specifying the output file

c_output_obj [Config_boot]

Name of the option of the C compiler for specifying the output file

call_external_preprocessor [Pparse]
call_linker [Ccomp]
can_save_ir_after [Clflags.Compiler_pass]
case [Ast_helper.Exp]
ccobjs [Clflags]
ccomp_type [Config]

The "kind" of the C compiler, assembler and linker used: one of "cc" (for Unix-style C compilers) "msvc" (for Microsoft Visual C++ and MASM)

ccomp_type [Config_main]

The "kind" of the C compiler, assembler and linker used: one of "cc" (for Unix-style C compilers) "msvc" (for Microsoft Visual C++ and MASM)

ccomp_type [Config_boot]

The "kind" of the C compiler, assembler and linker used: one of "cc" (for Unix-style C compilers) "msvc" (for Microsoft Visual C++ and MASM)

char [Ast_helper.Const]
check [Consistbl.Make]
check_alerts [Builtin_attributes]
check_alerts_inclusion [Builtin_attributes]
check_current [Misc.Magic_number]

check_current kind info checks that the provided magic info is the current version of kind's magic header.

check_deprecated_mutable [Builtin_attributes]
check_deprecated_mutable_inclusion [Builtin_attributes]
check_fatal [Warnings]
check_no_alert [Builtin_attributes]
check_noadd [Consistbl.Make]
chop_extensions [Misc]
clambda_checks [Clflags]
class_ [Ast_helper.Str]
class_ [Ast_helper.Sig]
class_ [Ast_helper.Typ]
class_expr [Pprintast]
class_field [Pprintast]
class_type [Pprintast]
class_type [Ast_helper.Str]
class_type [Ast_helper.Sig]
class_type_field [Pprintast]
classic [Clflags]
classic_arguments [Clflags]
classic_inlining [Clflags]
classify [Diffing]
clear [Consistbl.Make]
cma_magic_number [Config]

Magic number for archive files

cma_magic_number [Config_main]

Magic number for archive files

cma_magic_number [Config_boot]

Magic number for archive files

cmi_file [Clflags]
cmi_magic_number [Config]

Magic number for compiled interface files

cmi_magic_number [Config_main]

Magic number for compiled interface files

cmi_magic_number [Config_boot]

Magic number for compiled interface files

cmm_invariants [Clflags]
cmo_magic_number [Config]

Magic number for object bytecode files

cmo_magic_number [Config_main]

Magic number for object bytecode files

cmo_magic_number [Config_boot]

Magic number for object bytecode files

cmt_magic_number [Config]

Magic number for compiled interface files

cmt_magic_number [Config_main]

Magic number for compiled interface files

cmt_magic_number [Config_boot]

Magic number for compiled interface files

cmx_magic_number [Config]

Magic number for compilation unit descriptions

cmx_magic_number [Config_main]

Magic number for compilation unit descriptions

cmx_magic_number [Config_boot]

Magic number for compilation unit descriptions

cmxa_magic_number [Config]

Magic number for libraries of compilation unit descriptions

cmxa_magic_number [Config_main]

Magic number for libraries of compilation unit descriptions

cmxa_magic_number [Config_boot]

Magic number for libraries of compilation unit descriptions

cmxs_magic_number [Config]

Magic number for dynamically-loadable plugins

cmxs_magic_number [Config_main]

Magic number for dynamically-loadable plugins

cmxs_magic_number [Config_boot]

Magic number for dynamically-loadable plugins

coerce [Ast_helper.Exp]
color [Clflags]
color_reader [Clflags]
command [Ccomp]
comments [Lexer]
compare [Targetint]

The comparison function for target integers, with the same specification as Stdlib.compare.

compare [Misc.Stdlib.List]

The lexicographic order supported by the provided order.

compare [Misc.Stdlib]
compare [Int_replace_polymorphic_compare]
compare [Clflags.Compiler_pass]
compare_items [CamlinternalMenhirLib.IncrementalEngine.INSPECTION]
compare_nonterminals [CamlinternalMenhirLib.IncrementalEngine.INSPECTION]
compare_productions [CamlinternalMenhirLib.IncrementalEngine.INSPECTION]
compare_symbols [CamlinternalMenhirLib.IncrementalEngine.INSPECTION]
compare_terminals [CamlinternalMenhirLib.IncrementalEngine.INSPECTION]
compile_file [Ccomp]
compile_only [Clflags]
component_graph [Strongly_connected_components.S]
compress [CamlinternalMenhirLib.RowDisplacement]
compress [CamlinternalMenhirLib.ErrorReports]
concrete [Ast_helper.Cf]
config_var [Config]

the configuration value of a variable, if it exists

config_var [Config_main]

the configuration value of a variable, if it exists

config_var [Config_boot]

the configuration value of a variable, if it exists

connected_components_sorted_from_roots_to_leaf [Strongly_connected_components.S]
constant [Ast_helper.Exp]
constant [Ast_helper.Pat]
constr [Ast_helper.Cl]
constr [Ast_helper.Cty]
constr [Ast_helper.Typ]
constr_ident [Parse]

This function parses a syntactically valid path for a variant constructor.

constraint_ [Ast_helper.Cf]
constraint_ [Ast_helper.Cl]
constraint_ [Ast_helper.Ctf]
constraint_ [Ast_helper.Mod]
constraint_ [Ast_helper.Exp]
constraint_ [Ast_helper.Pat]
construct [Ast_helper.Exp]
construct [Ast_helper.Pat]
constructor [Ast_helper.Te]
constructor [Ast_helper.Type]
copy_file [Misc]
copy_file_chunk [Misc]
core_type [Pprintast]
core_type [Parse]
create [Misc.LongString]
create [Load_path.Dir]
create [Lazy_backtrack]
create [Consistbl.Make]
create_archive [Ccomp]
create_failed [Lazy_backtrack]
create_forced [Lazy_backtrack]
create_hashtable [Misc]
create_usage_msg [Clflags]
curr [Location]

Get the location of the current token from the lexbuf.

current_raw [Misc.Magic_number]

the current magic number of each kind

current_state_number [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
current_version [Misc.Magic_number]

the current version of each kind

custom_runtime [Clflags]
cut_at [Misc]

String.cut_at s c returns a pair containing the sub-string before the first occurrence of c in s, and the sub-string after the first occurrence of c in s.

D
data [Identifiable.Map]
debug [Clflags]
debug_full [Clflags]
debug_prefix_map_flags [Misc]

Returns the list of --debug-prefix-map flags to be passed to the assembler, built from the BUILD_PATH_PREFIX_MAP environment variable.

decl [Ast_helper.Te]
decode_map [Build_path_prefix_map]
decode_pair [Build_path_prefix_map]
decode_prefix [Build_path_prefix_map]
default [Arg_helper.Make]
default_alert_reporter [Location]

Original alert reporter for use in hooks.

default_executable_name [Config]

Name of executable produced by linking if none is given with -o, e.g.

default_executable_name [Config_main]

Name of executable produced by linking if none is given with -o, e.g.

default_executable_name [Config_boot]

Name of executable produced by linking if none is given with -o, e.g.

default_inline_alloc_cost [Clflags]
default_inline_branch_cost [Clflags]
default_inline_branch_factor [Clflags]
default_inline_call_cost [Clflags]
default_inline_indirect_cost [Clflags]
default_inline_lifting_benefit [Clflags]
default_inline_max_depth [Clflags]
default_inline_max_unroll [Clflags]
default_inline_prim_cost [Clflags]
default_inline_threshold [Clflags]
default_inline_toplevel_threshold [Clflags]
default_iterator [Ast_iterator]

A default iterator, which implements a "do not do anything" mapping.

default_loc [Ast_helper]

Default value for all optional location arguments.

default_mapper [Ast_mapper]

A default mapper, which implements a "deep identity" mapping.

default_reduction [CamlinternalMenhirLib.TableFormat.TABLES]
default_reduction [CamlinternalMenhirLib.EngineTypes.TABLE]
default_report_printer [Location]

Original report printer for use in hooks.

default_rpath [Config]

Option to add a directory to be searched for libraries at runtime (used by ocamlmklib)

default_rpath [Config_main]

Option to add a directory to be searched for libraries at runtime (used by ocamlmklib)

default_rpath [Config_boot]

Option to add a directory to be searched for libraries at runtime (used by ocamlmklib)

default_setting [Misc.Error_style]
default_setting [Misc.Color]
default_simplify_rounds [Clflags]
default_styles [Misc.Color]
default_unbox_closures_factor [Clflags]
default_warning_reporter [Location]

Original warning reporter for use in hooks.

defaults_w [Warnings]
defaults_warn_error [Warnings]
defines_symbol [Binutils]
delete_eol_spaces [Misc]

delete_eol_spaces s returns a fresh copy of s with any end of line spaces removed.

deprecated [Location]

Prints a deprecation alert.

deprecated_script_alert [Location]

deprecated_script_alert command prints an alert that command foo has been deprecated in favour of command ./foo

descriptions [Warnings]
did_you_mean [Misc]

did_you_mean ppf get_choices hints that the user may have meant one of the option returned by calling get_choices.

diff [Diffing_with_keys.Define.Simple]
diff [Diffing.Define.S]

diff state l r computes the optimal patch between l and r, using the initial state state.

disjoint_union [Identifiable.Map]

disjoint_union m1 m2 contains all bindings from m1 and m2.

div [Targetint]

Integer division.

dlcode [Clflags]
dllibs [Clflags]
dllpaths [Clflags]
docs_attr [Docstrings]
docstring [Docstrings]

Create a docstring

docstring_body [Docstrings]

Get the text of a docstring

docstring_loc [Docstrings]

Get the location of a docstring

domain [CamlinternalMenhirLib.InfiniteArray]

domain a is a fresh copy of an initial segment of the array a whose length is extent a.

dont_write_files [Clflags]
drop [CamlinternalMenhirLib.General]
drop_ppx_context_sig [Ast_mapper]

Same as drop_ppx_context_str, but for signatures.

drop_ppx_context_str [Ast_mapper]

Drop the ocaml.ppx.context attribute from a structure.

dump_clambda [Clflags]
dump_cmm [Clflags]
dump_combine [Clflags]
dump_cse [Clflags]
dump_dir [Clflags]
dump_flambda [Clflags]
dump_flambda_let [Clflags]
dump_flambda_verbose [Clflags]
dump_instr [Clflags]
dump_interf [Clflags]
dump_interval [Clflags]
dump_into_file [Clflags]
dump_lambda [Clflags]
dump_linear [Clflags]
dump_live [Clflags]
dump_parsetree [Clflags]
dump_prefer [Clflags]
dump_rawclambda [Clflags]
dump_rawflambda [Clflags]
dump_rawlambda [Clflags]
dump_regalloc [Clflags]
dump_reload [Clflags]
dump_scheduling [Clflags]
dump_selection [Clflags]
dump_shape [Clflags]
dump_source [Clflags]
dump_spill [Clflags]
dump_split [Clflags]
dump_typedtree [Clflags]
dumped_pass [Clflags]
E
echo_eof [Location]
edit_distance [Misc]

edit_distance a b cutoff computes the edit distance between strings a and b.

empty_docs [Docstrings]
empty_info [Docstrings]
empty_text [Docstrings]
empty_text_lazy [Docstrings]
encode_map [Build_path_prefix_map]
encode_pair [Build_path_prefix_map]
encode_prefix [Build_path_prefix_map]
entry [CamlinternalMenhirLib.EngineTypes.MONOLITHIC_ENGINE]
env_has_default_reduction [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
equal [Targetint]

The equal function for target ints.

equal [Misc.Stdlib.List]

Returns true if and only if the given lists have the same length and content with respect to the given equality function.

equal [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
error [Location]
error [CamlinternalMenhirLib.TableFormat.TABLES]
error_of_exn [Location]
error_of_extension [Builtin_attributes]
error_of_printer [Location]
error_of_printer_file [Location]
error_size [Clflags]
error_style [Clflags]
error_style_reader [Clflags]
error_terminal [CamlinternalMenhirLib.TableFormat.TABLES]
error_terminal [CamlinternalMenhirLib.EngineTypes.TABLE]
error_to_string [Binutils]
error_value [CamlinternalMenhirLib.EngineTypes.TABLE]
errorf [Location]
eval [Ast_helper.Str]
exception_ [Ast_helper.Str]
exception_ [Ast_helper.Sig]
exception_ [Ast_helper.Pat]
exec_magic_number [Config]

Magic number for bytecode executable files

exec_magic_number [Config_main]

Magic number for bytecode executable files

exec_magic_number [Config_boot]

Magic number for bytecode executable files

exists2 [Misc.Stdlib.Array]

Same as Array.exists2 from the standard library.

expand [CamlinternalMenhirLib.ErrorReports]
expand_directory [Misc]
explain_parse_error [Misc.Magic_number]

Produces an explanation for a parse error.

explain_unexpected_error [Misc.Magic_number]

Provides an explanation of the unexpected_error.

explicit_arity [Builtin_attributes]
expression [Printast]
expression [Pprintast]
expression [Parse]
ext_asm [Config]

Extension for assembler files, e.g.

ext_asm [Config_main]

Extension for assembler files, e.g.

ext_asm [Config_boot]

Extension for assembler files, e.g.

ext_dll [Config]

Extension for dynamically-loaded libraries, e.g.

ext_dll [Config_main]

Extension for dynamically-loaded libraries, e.g.

ext_dll [Config_boot]

Extension for dynamically-loaded libraries, e.g.

ext_exe [Config]

Extension for executable programs, e.g.

ext_exe [Config_main]

Extension for executable programs, e.g.

ext_exe [Config_boot]

Extension for executable programs, e.g.

ext_lib [Config]

Extension for library files, e.g.

ext_lib [Config_main]

Extension for library files, e.g.

ext_lib [Config_boot]

Extension for library files, e.g.

ext_obj [Config]

Extension for object files, e.g.

ext_obj [Config_main]

Extension for object files, e.g.

ext_obj [Config_boot]

Extension for object files, e.g.

extended_module_path [Parse]

This function parse syntactically valid path for an extended module.

extension [Ast_helper.Cf]
extension [Ast_helper.Cl]
extension [Ast_helper.Ctf]
extension [Ast_helper.Cty]
extension [Ast_helper.Str]
extension [Ast_helper.Sig]
extension [Ast_helper.Mod]
extension [Ast_helper.Mty]
extension [Ast_helper.Exp]
extension [Ast_helper.Pat]
extension [Ast_helper.Typ]
extension_of_error [Ast_mapper]

Encode an error into an 'ocaml.error' extension node which can be inserted in a generated Parsetree.

extent [CamlinternalMenhirLib.InfiniteArray]

extent a is the length of an initial segment of the array a that is sufficiently large to contain all set operations ever performed.

extract [Consistbl.Make]
extract [CamlinternalMenhirLib.ErrorReports]
extract_map [Consistbl.Make]
F
fatal_error [Misc]
fatal_errorf [Misc]
feed [CamlinternalMenhirLib.IncrementalEngine.INSPECTION]
field [Ast_helper.Type]
field [Ast_helper.Exp]
file [Pparse]
files [Load_path.Dir]

All the files in that directory.

filter [Consistbl.Make]
find [Load_path.Dir]

find dir fn returns the full path to fn in dir.

find [Load_path]

Locate a file in the load path.

find_and_chop_longest_common_prefix [Misc.Stdlib.List]

Returns the longest list that, with respect to the provided equality function, is a prefix of both of the given lists.

find_in_path [Misc]
find_in_path_rel [Misc]
find_in_path_uncap [Misc]
find_production [CamlinternalMenhirLib.EngineTypes.TABLE]
find_production [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
find_uncap [Load_path.Dir]

As Load_path.Dir.find, but search also for uncapitalized name, i.e.

find_uncap [Load_path]

Same as find, but search also for uncapitalized name, i.e.

first [CamlinternalMenhirLib.InspectionTableFormat.TABLES]
first [CamlinternalMenhirLib.IncrementalEngine.INSPECTION]
flambda [Config]

Whether the compiler was configured for flambda

flambda [Config_main]

Whether the compiler was configured for flambda

flambda [Config_boot]

Whether the compiler was configured for flambda

flambda_invariant_checks [Clflags]
flat_float_array [Config]

Whether the compiler and runtime automagically flatten float arrays

flat_float_array [Config_main]

Whether the compiler and runtime automagically flatten float arrays

flat_float_array [Config_boot]

Whether the compiler and runtime automagically flatten float arrays

flatten [Longident]
flexdll_dirs [Config]

Directories needed for the FlexDLL objects

flexdll_dirs [Config_main]

Directories needed for the FlexDLL objects

flexdll_dirs [Config_boot]

Directories needed for the FlexDLL objects

float [Ast_helper.Const]
float_const_prop [Clflags]
foldr [CamlinternalMenhirLib.General]
for4 [Misc]
for_ [Ast_helper.Exp]
for_all [Misc.Stdlib.String]
for_all2 [Misc]
for_alli [Misc.Stdlib.Array]

Same as Array.for_all from the standard library, but the function is applied with the index of the element as first argument, and the element itself as second argument.

for_package [Clflags]
force [Lazy_backtrack]
force_logged [Lazy_backtrack]
force_poly [Ast_helper.Typ]
force_reduction [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
force_slash [Clflags]
foreach_terminal [CamlinternalMenhirLib.EngineTypes.TABLE]
foreach_terminal [CamlinternalMenhirLib.IncrementalEngine.INSPECTION]
foreach_terminal_but_error [CamlinternalMenhirLib.IncrementalEngine.INSPECTION]
formatter_for_warnings [Location]
free_structure_names [Depend]
fresh [Local_store]

Returns a fresh instance of the store.

fst3 [Misc]
fst4 [Misc]
fun_ [Ast_helper.Cl]
fun_ [Ast_helper.Exp]
function_ [Ast_helper.Exp]
function_sections [Config]

Whether the compiler was configured to generate each function in a separate section

function_sections [Config_main]

Whether the compiler was configured to generate each function in a separate section

function_sections [Config_boot]

Whether the compiler was configured to generate each function in a separate section

function_sections [Clflags]
functor_ [Ast_helper.Mod]
functor_ [Ast_helper.Mty]
G
generate [Profile]
get [Misc.LongString]
get [Load_path]

Same as get_paths (), except that it returns a Dir.t list.

get [Clflags.Float_arg_helper]
get [Clflags.Int_arg_helper]
get [Arg_helper.Make]
get [CamlinternalMenhirLib.RowDisplacement]
get [CamlinternalMenhirLib.PackedIntArray]
get [CamlinternalMenhirLib.InfiniteArray]

get a i returns the element contained at offset i in the array a.

get [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
get1 [CamlinternalMenhirLib.PackedIntArray]
get_arg [Lazy_backtrack]
get_build_path_prefix_map [Misc]

Returns the map encoded in the BUILD_PATH_PREFIX_MAP environment variable.

get_contents [Lazy_backtrack]
get_cookie [Ast_mapper]
get_no_payload_attribute [Attr_helper]

The string list argument of the following functions is a list of alternative names for the attribute we are looking for.

get_paths [Load_path]

Return the list of directories passed to add_dir so far.

get_pos_info [Location]

file, line, char

get_ref [Misc]
get_styles [Misc.Color]
getget [CamlinternalMenhirLib.RowDisplacement]
ghost_loc_in_file [Warnings]

Return an empty ghost range located in a given file

goto [CamlinternalMenhirLib.TableFormat.TABLES]
goto_nt [CamlinternalMenhirLib.EngineTypes.TABLE]
goto_prod [CamlinternalMenhirLib.EngineTypes.TABLE]
H
handle_docstrings [Lexer]
handling_error [CamlinternalMenhirLib.EngineTypes.TABLE.Log]
has_boxed [Builtin_attributes]
has_no_payload_attribute [Attr_helper]
has_unboxed [Builtin_attributes]
help_warnings [Warnings]
highlight_terminfo [Location]
host [Config]

Whether the compiler is a cross-compiler

host [Config_main]

Whether the compiler is a cross-compiler

host [Config_boot]

Whether the compiler is a cross-compiler

human_name_of_kind [Misc.Magic_number]

a user-meaningful name for a kind, eg.

I
ident [Ast_helper.Mod]
ident [Ast_helper.Mty]
ident [Ast_helper.Exp]
idx_of_field [Domainstate]
ifthenelse [Ast_helper.Exp]
ill_formed_ast [Syntaxerr]
immediate [Builtin_attributes]
immediate64 [Builtin_attributes]
implementation [Printast]
implementation [Parser.Incremental]
implementation [Parser]
implementation [Parse]
in_comment [Lexer]
in_file [Location]

Return an empty ghost range located in a given file.

in_string [Lexer]
include_ [Ast_helper.Str]
include_ [Ast_helper.Sig]
include_dirs [Clflags]
incoming_symbol [CamlinternalMenhirLib.IncrementalEngine.INSPECTION]
info_attr [Docstrings]
inherit_ [Ast_helper.Of]
inherit_ [Ast_helper.Rf]
inherit_ [Ast_helper.Cf]
inherit_ [Ast_helper.Ctf]
init [Load_path]

init l is the same as reset (); List.iter add_dir (List.rev l)

init [Location]

Set the file name and line number of the lexbuf to be the start of the named file.

init [Lexer]
init [Docstrings]

(Re)Initialise all docstring state

init [CamlinternalMenhirLib.LexerUtil]
init_file [Clflags]
initializer_ [Ast_helper.Cf]
initiating_error_handling [CamlinternalMenhirLib.EngineTypes.TABLE.Log]
inline_alloc_cost [Clflags]
inline_branch_cost [Clflags]
inline_branch_factor [Clflags]
inline_call_cost [Clflags]
inline_indirect_cost [Clflags]
inline_lifting_benefit [Clflags]
inline_max_depth [Clflags]
inline_max_unroll [Clflags]
inline_prim_cost [Clflags]
inline_threshold [Clflags]
inline_toplevel_threshold [Clflags]
inlining_report [Clflags]
input_bytes [Misc.LongString]
input_bytes_into [Misc.LongString]
input_lexbuf [Location]
input_name [Location]
input_needed [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
input_phrase_buffer [Location]
insn_sched [Clflags]
insn_sched_default [Clflags]
int [Misc.Int_literal_converter]
int [Ast_helper.Const]
int32 [Misc.Int_literal_converter]
int32 [Ast_helper.Const]
int64 [Misc.Int_literal_converter]
int64 [Ast_helper.Const]
integer [Ast_helper.Const]
interface [Printast]
interface [Parser.Incremental]
interface [Parser]
interface [Parse]
interface_suffix [Config]

Suffix for interface file names

interface_suffix [Config_main]

Suffix for interface file names

interface_suffix [Config_boot]

Suffix for interface file names

interval [Ast_helper.Pat]
is_active [Warnings]
is_bound [Local_store]

Returns true when a store is active (i.e.

is_compilation_pass [Clflags.Compiler_pass]
is_error [Warnings]
is_none [Location]

True for Location.none, false any other location

is_prefix [Misc.Stdlib.List]

Returns true if and only if the given list, with respect to the given equality function on list members, is a prefix of the list of_.

is_start [CamlinternalMenhirLib.EngineTypes.TABLE]
items [CamlinternalMenhirLib.IncrementalEngine.INSPECTION]
K
keep_asm_file [Clflags]
keep_camlprimc_file [Clflags]
keep_docs [Clflags]
keep_locs [Clflags]
keep_startup_file [Clflags]
key_left [Diffing_with_keys.Define.Parameters]
key_right [Diffing_with_keys.Define.Parameters]
keys [Identifiable.Map]
L
last [Longident]
last [CamlinternalMenhirLib.ErrorReports]
lazy_ [Ast_helper.Exp]
lazy_ [Ast_helper.Pat]
lazy_tag [Config]

Normally the same as Obj.lazy_tag.

lazy_tag [Config_main]

Normally the same as Obj.lazy_tag.

lazy_tag [Config_boot]

Normally the same as Obj.lazy_tag.

length [Misc.LongString]
length [CamlinternalMenhirLib.LinearizedArray]
length [CamlinternalMenhirLib.General]
let_ [Ast_helper.Cl]
let_ [Ast_helper.Exp]
letexception [Ast_helper.Exp]
letmodule [Ast_helper.Exp]
letop [Ast_helper.Exp]
lexer_lexbuf_to_supplier [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
lhs [CamlinternalMenhirLib.TableFormat.TABLES]
lhs [CamlinternalMenhirLib.IncrementalEngine.INSPECTION]
linear_magic_number [Config]

Magic number for Linear internal representation files

linear_magic_number [Config_main]

Magic number for Linear internal representation files

linear_magic_number [Config_boot]

Magic number for Linear internal representation files

link_everything [Clflags]
linker_is_flexlink [Ccomp]
list_remove [Misc]
location_of_error [Syntaxerr]
locations [Clflags]
log [Lazy_backtrack]
log [CamlinternalMenhirLib.EngineTypes.TABLE]
log2 [Misc]
logand [Targetint]

Bitwise logical and.

lognot [Targetint]

Bitwise logical negation.

logor [Targetint]

Bitwise logical or.

logxor [Targetint]

Bitwise logical exclusive or.

longident [Pprintast]
longident [Parse]

The function longident is guaranteed to parse all subclasses of Longident.t used in OCaml: values, constructors, simple or extended module paths, and types or module types.

lookahead_token [CamlinternalMenhirLib.EngineTypes.TABLE.Log]
loop [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
loop_handle [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
loop_handle_undo [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
lr0_core [CamlinternalMenhirLib.InspectionTableFormat.TABLES]
lr0_incoming [CamlinternalMenhirLib.InspectionTableFormat.TABLES]
lr0_items [CamlinternalMenhirLib.InspectionTableFormat.TABLES]
M
magic_length [Misc.Magic_number]

all magic numbers take the same number of bytes

make [CamlinternalMenhirLib.LinearizedArray]
make [CamlinternalMenhirLib.InfiniteArray]

make x creates an infinite array, where every slot contains x.

make_archive [Clflags]
make_leaf [Depend]
make_node [Depend]
make_package [Clflags]
make_runtime [Clflags]
map [Identifiable.Tbl]
map [Identifiable.Set]
map2_prefix [Misc.Stdlib.List]

let r1, r2 = map2_prefix f l1 l2 If l1 is of length n and l2 = h2 @ t2 with h2 of length n, r1 is List.map2 f l1 h1 and r2 is t2.

map_end [Misc]
map_keys [Identifiable.Map]
map_left_right [Misc]
map_opt [Ast_mapper]
mark_rhs_docs [Docstrings.WithMenhir]

Mark as associated the item documentation for the symbols between two positions (for ambiguity warnings)

mark_rhs_docs [Docstrings]

Mark as associated the item documentation for the symbols between two positions (for ambiguity warnings)

mark_symbol_docs [Docstrings.WithMenhir]

Mark the item documentation for the current symbol (for ambiguity warnings).

mark_symbol_docs [Docstrings]

Mark the item documentation for the current symbol (for ambiguity warnings).

match_ [Ast_helper.Exp]
match_context_rows [Clflags]
max_int [Targetint]

The greatest representable target integer, either 231 - 1 on a 32-bit platform, or 263 - 1 on a 64-bit platform.

max_tag [Config]

Biggest tag that can be stored in the header of a regular block.

max_tag [Config_main]

Biggest tag that can be stored in the header of a regular block.

max_tag [Config_boot]

Biggest tag that can be stored in the header of a regular block.

max_young_wosize [Config]

Maximal size of arrays that are directly allocated in the minor heap

max_young_wosize [Config_main]

Maximal size of arrays that are directly allocated in the minor heap

max_young_wosize [Config_boot]

Maximal size of arrays that are directly allocated in the minor heap

may_reduce [CamlinternalMenhirLib.EngineTypes.TABLE]
maybe_goto_nt [CamlinternalMenhirLib.EngineTypes.TABLE]
memoize [Identifiable.Tbl]
method_ [Ast_helper.Cf]
method_ [Ast_helper.Ctf]
min_int [Targetint]

The smallest representable target integer, either -231 on a 32-bit platform, or -263 on a 64-bit platform.

minus_one [Targetint]

The target integer -1.

mk [Ast_helper.Of]
mk [Ast_helper.Rf]
mk [Ast_helper.Cstr]
mk [Ast_helper.Csig]
mk [Ast_helper.Ci]
mk [Ast_helper.Cf]
mk [Ast_helper.Cl]
mk [Ast_helper.Ctf]
mk [Ast_helper.Cty]
mk [Ast_helper.Vb]
mk [Ast_helper.Incl]
mk [Ast_helper.Opn]
mk [Ast_helper.Mb]
mk [Ast_helper.Mtd]
mk [Ast_helper.Ms]
mk [Ast_helper.Md]
mk [Ast_helper.Str]
mk [Ast_helper.Sig]
mk [Ast_helper.Mod]
mk [Ast_helper.Mty]
mk [Ast_helper.Te]
mk [Ast_helper.Type]
mk [Ast_helper.Val]
mk [Ast_helper.Exp]
mk [Ast_helper.Pat]
mk [Ast_helper.Typ]
mk [Ast_helper.Attr]
mk_exception [Ast_helper.Te]
mk_lazy [Warnings]

Like Lazy.of_fun, but the function is applied with the warning/alert settings at the time mk_lazy is called.

mkdll [Config]

The linker command line to build dynamic libraries.

mkdll [Config_main]

The linker command line to build dynamic libraries.

mkdll [Config_boot]

The linker command line to build dynamic libraries.

mkexe [Config]

The linker command line to build executables.

mkexe [Config_main]

The linker command line to build executables.

mkexe [Config_boot]

The linker command line to build executables.

mkloc [Location]
mkmaindll [Config]

The linker command line to build main programs as dlls.

mkmaindll [Config_main]

The linker command line to build main programs as dlls.

mkmaindll [Config_boot]

The linker command line to build main programs as dlls.

mknoloc [Location]
mksharedlibrpath [Config]

Option to add a directory to be searched for shared libraries at runtime (used by ocamlmklib)

mksharedlibrpath [Config_main]

Option to add a directory to be searched for shared libraries at runtime (used by ocamlmklib)

mksharedlibrpath [Config_boot]

Option to add a directory to be searched for shared libraries at runtime (used by ocamlmklib)

mod_subst [Ast_helper.Sig]
model [Config]

Name of processor submodel for the native-code compiler

model [Config_main]

Name of processor submodel for the native-code compiler

model [Config_boot]

Name of processor submodel for the native-code compiler

modtype [Ast_helper.Str]
modtype [Ast_helper.Sig]
modtype_subst [Ast_helper.Sig]
module_ [Ast_helper.Str]
module_ [Ast_helper.Sig]
module_expr [Pprintast]
module_expr [Parse]
module_type [Pprintast]
module_type [Parse]
msg [Location]
mul [Targetint]

Multiplication.

N
naked_pointers [Config]

Whether the runtime supports naked pointers

naked_pointers [Config_main]

Whether the runtime supports naked pointers

naked_pointers [Config_boot]

Whether the runtime supports naked pointers

native_c_libraries [Config]

The C libraries to link with native-code programs

native_c_libraries [Config_main]

The C libraries to link with native-code programs

native_c_libraries [Config_boot]

The C libraries to link with native-code programs

native_code [Clflags]
native_obj_config [Misc.Magic_number]

the native object file configuration of the active/configured compiler.

native_pack_linker [Config]

The linker to use for packaging (ocamlopt -pack) and for partial links (ocamlopt -output-obj).

native_pack_linker [Config_main]

The linker to use for packaging (ocamlopt -pack) and for partial links (ocamlopt -output-obj).

native_pack_linker [Config_boot]

The linker to use for packaging (ocamlopt -pack) and for partial links (ocamlopt -output-obj).

nativeint [Misc.Int_literal_converter]
nativeint [Ast_helper.Const]
neg [Targetint]

Unary negation.

new_ [Ast_helper.Exp]
newline [CamlinternalMenhirLib.LexerUtil]
newtype [Ast_helper.Exp]
no_auto_include [Load_path]

No automatic directory inclusion: misses in the load path raise Not_found as normal.

no_auto_link [Clflags]
no_check_prims [Clflags]
no_cwd [Clflags]
no_overflow_add [Misc]
no_overflow_lsl [Misc]
no_overflow_mul [Misc]
no_overflow_sub [Misc]
no_std_include [Clflags]
noassert [Clflags]
noinit [Clflags]
none [Location]

An arbitrary value of type t; describes an empty ghost range.

nonterminal [CamlinternalMenhirLib.InspectionTableFormat.TABLES]
nopervasives [Clflags]
noprompt [Clflags]
nopromptcont [Clflags]
normalise_eol [Misc]

normalise_eol s returns a fresh copy of s with any '\r' characters removed.

noversion [Clflags]
nullable [CamlinternalMenhirLib.InspectionTableFormat.TABLES]
nullable [CamlinternalMenhirLib.IncrementalEngine.INSPECTION]
num_lines [Terminfo]
number [CamlinternalMenhirLib.EngineTypes.TABLE]
number [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
O
o1_arguments [Clflags]
o2_arguments [Clflags]
o3_arguments [Clflags]
object_ [Ast_helper.Exp]
object_ [Ast_helper.Typ]
objfiles [Clflags]
ocamlc_cflags [Config]

The flags ocamlc should pass to the C compiler

ocamlc_cflags [Config_main]

The flags ocamlc should pass to the C compiler

ocamlc_cflags [Config_boot]

The flags ocamlc should pass to the C compiler

ocamlc_cppflags [Config]

The flags ocamlc should pass to the C preprocessor

ocamlc_cppflags [Config_main]

The flags ocamlc should pass to the C preprocessor

ocamlc_cppflags [Config_boot]

The flags ocamlc should pass to the C preprocessor

ocamlopt_cflags [Config]
ocamlopt_cflags [Config_main]
ocamlopt_cflags [Config_boot]
ocamlopt_cppflags [Config]
ocamlopt_cppflags [Config_main]
ocamlopt_cppflags [Config_boot]
of_float [Targetint]

Convert the given floating-point number to a target integer, discarding the fractional part (truncate towards 0).

of_input_filename [Clflags.Compiler_pass]
of_int [Targetint]

Convert the given integer (type int) to a target integer (type t), module the target word size.

of_int32 [Targetint]

Convert the given 32-bit integer (type int32) to a target integer.

of_int64 [Targetint]

Convert the given 64-bit integer (type int64) to a target integer.

of_int64_exn [Numbers.Int16]
of_int_exn [Targetint]

Convert the given integer (type int) to a target integer (type t).

of_int_exn [Numbers.Int16]
of_int_exn [Numbers.Int8]
of_list [Identifiable.Tbl]
of_list [Identifiable.Map]
of_list [Identifiable.Set]
of_map [Identifiable.Tbl]
of_set [Identifiable.Map]
of_string [Targetint]

Convert the given string to a target integer.

of_string [Clflags.Compiler_pass]
offer [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
one [Targetint]

The target integer 1.

one [Numbers.Int8]
opaque [Clflags]
open_ [Ast_helper.Cl]
open_ [Ast_helper.Cty]
open_ [Ast_helper.Str]
open_ [Ast_helper.Sig]
open_ [Ast_helper.Exp]
open_ [Ast_helper.Pat]
open_and_check_magic [Pparse]
open_module [Depend]
open_modules [Clflags]
optimize_for_speed [Clflags]
options_doc [Profile]
or_ [Ast_helper.Pat]
ordinal_suffix [Misc]

ordinal_suffix n is the appropriate suffix to append to the numeral n as an ordinal number: 1 -> "st", 2 -> "nd", 3 -> "rd", 4 -> "th", and so on.

output [Misc.LongString]
output [Identifiable.Set]
output [Identifiable.Thing]
output_c_object [Clflags]
output_complete_executable [Clflags]
output_complete_object [Clflags]
output_name [Clflags]
output_to_file_via_temporary [Misc]
override [Ast_helper.Exp]
P
pack [CamlinternalMenhirLib.PackedIntArray]
pack [Ast_helper.Exp]
package [Ast_helper.Typ]
parse [Misc.Magic_number]

Parses a raw magic number

parse [Clflags.Float_arg_helper]
parse [Clflags.Int_arg_helper]
parse [Arg_helper.Make]
parse [Longident]

This function is broken on identifiers that are not just "Word.Word.word"; for example, it returns incorrect results on infix operators and extended module paths.

parse_alert_option [Warnings]

Disable/enable alerts based on the parameter to the -alert command-line option.

parse_any_longident [Parser.Incremental]
parse_any_longident [Parser]
parse_constr_longident [Parser.Incremental]
parse_constr_longident [Parser]
parse_core_type [Parser.Incremental]
parse_core_type [Parser]
parse_expression [Parser.Incremental]
parse_expression [Parser]
parse_implementation [Pparse]
parse_interface [Pparse]
parse_kind [Misc.Magic_number]

parse a raw kind into a kind

parse_mod_ext_longident [Parser.Incremental]
parse_mod_ext_longident [Parser]
parse_mod_longident [Parser.Incremental]
parse_mod_longident [Parser]
parse_module_expr [Parser.Incremental]
parse_module_expr [Parser]
parse_module_type [Parser.Incremental]
parse_module_type [Parser]
parse_mty_longident [Parser.Incremental]
parse_mty_longident [Parser]
parse_no_error [Clflags.Float_arg_helper]
parse_no_error [Clflags.Int_arg_helper]
parse_no_error [Arg_helper.Make]
parse_options [Warnings]
parse_pattern [Parser.Incremental]
parse_pattern [Parser]
parse_val_longident [Parser.Incremental]
parse_val_longident [Parser]
path [Load_path.Dir]
pattern [Pprintast]
pattern [Parse]
payload [Printast]
payload [Pprintast]
pic_code [Clflags]
plugin [Clflags]
poly [Ast_helper.Exp]
poly [Ast_helper.Typ]
pop [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
pop_many [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
positions [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
pp_deps [Depend]

dependencies found by preprocessing tools

pp_two_columns [Misc]

pp_two_columns ?sep ?max_lines ppf l prints the lines in l as two columns separated by sep ("|" by default).

pred [Targetint]

Predecessor.

prefix [Diffing_with_keys]
prefix [Diffing]
prepend_dir [Load_path]

prepend_dir d adds d to the start of the load path (i.e.

preprocess [Pparse]
preprocessor [Clflags]
prerr_alert [Location]

Same as print_alert, but uses !formatter_for_warnings as output formatter.

prerr_warning [Location]

Same as print_warning, but uses !formatter_for_warnings as output formatter.

primitive [Ast_helper.Str]
principal [Clflags]
print [Targetint]

Print a target integer to a formatter.

print [Profile]

Prints the selected recorded profiling information to the formatter.

print [Misc.Stdlib.Option]
print [Identifiable.Map]
print [Identifiable.Set]
print [Identifiable.Thing]
print [Misc.Stdlib.String]
print_alert [Location]

Prints an alert.

print_arguments [Clflags]
print_config [Config]

Access to configuration values

print_config [Config_main]

Access to configuration values

print_config [Config_boot]

Access to configuration values

print_current_state [CamlinternalMenhirLib.Printers.Make]
print_element_as_symbol [CamlinternalMenhirLib.Printers.Make]
print_env [CamlinternalMenhirLib.Printers.Make]
print_filename [Location]
print_if [Misc]

print_if ppf flag fmt x prints x with fmt on ppf if b is true.

print_item [CamlinternalMenhirLib.Printers.Make]
print_loc [Location]
print_locs [Location]
print_production [CamlinternalMenhirLib.Printers.Make]
print_report [Location]

Display an error or warning report.

print_stack [CamlinternalMenhirLib.Printers.Make]
print_symbols [CamlinternalMenhirLib.Printers.Make]
print_types [Clflags]
print_warning [Location]

Prints a warning.

print_warnings [Lexer]
production_index [CamlinternalMenhirLib.EngineTypes.TABLE]
production_index [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
profile_columns [Clflags]
profinfo [Config]

Whether the compiler was configured for profiling

profinfo [Config_main]

Whether the compiler was configured for profiling

profinfo [Config_boot]

Whether the compiler was configured for profiling

profinfo_width [Config]

How many bits are to be used in values' headers for profiling information

profinfo_width [Config_main]

How many bits are to be used in values' headers for profiling information

profinfo_width [Config_boot]

How many bits are to be used in values' headers for profiling information

protect_refs [Misc]

protect_refs l f temporarily sets r to v for each R (r, v) in l while executing f.

protect_writing_to_file [Misc]

Open the given filename for writing (in binary mode), pass the out_channel to the given function, then close the channel.

Q
quote_files [Ccomp]
quote_optfile [Ccomp]
R
raise_errorf [Location]
range [CamlinternalMenhirLib.LexerUtil]
raw [Misc.Magic_number]

A valid raw representation of the magic number.

raw_kind [Misc.Magic_number]

the current raw representation of a kind.

read [Binutils]
read [CamlinternalMenhirLib.LinearizedArray]
read [CamlinternalMenhirLib.LexerUtil]
read_ast [Pparse]
read_current_info [Misc.Magic_number]

Read a magic number as read_info, and check that it is the current version as its kind.

read_info [Misc.Magic_number]

Read a raw magic number from an input channel.

read_row [CamlinternalMenhirLib.LinearizedArray]
read_row_via [CamlinternalMenhirLib.LinearizedArray]
read_via [CamlinternalMenhirLib.LinearizedArray]
real_paths [Clflags]
rebind [Ast_helper.Te]
rec_module [Ast_helper.Str]
rec_module [Ast_helper.Sig]
record [Profile]

record pass f arg records the profile information of f arg

record [Ast_helper.Exp]
record [Ast_helper.Pat]
record_call [Profile]

record_call pass f calls f and records its profile information.

recursive_types [Clflags]
reduce_or_accept [CamlinternalMenhirLib.EngineTypes.TABLE.Log]
register [Docstrings]

Register a docstring

register [Ast_mapper]

Apply the register_function.

register_error_of_exn [Location]

Each compiler module which defines a custom type of exception which can surface as a user-visible error should register a "printer" for this exception using register_error_of_exn.

register_function [Ast_mapper]
rem [Targetint]

Integer remainder.

remove_dir [Load_path]

Remove a directory from the load path

remove_file [Misc]
remove_preprocessed [Pparse]
remove_unused_arguments [Clflags]
rename [Identifiable.Map]
replace_substring [Misc]
replicate_list [Misc]
report [Warnings]
report_alert [Warnings]
report_alert [Location]

report_alert loc w produces a report for the given alert w, or None if the alert is not to be printed.

report_error [Pparse]
report_error [Attr_helper]
report_exception [Location]

Reraise the exception if it is unknown.

report_printer [Location]

Hook for redefining the printer of reports.

report_warning [Location]

report_warning loc w produces a report for the given warning w, or None if the warning is not to be printed.

repr [Targetint]

The concrete representation of a native integer.

require_20210419 [CamlinternalMenhirLib.StaticVersion]
reraise_preserving_backtrace [Misc]

reraise_preserving_backtrace e f is (f (); raise e) except that the current backtrace is preserved, even if f uses exceptions internally.

reset [Profile]

erase all recorded profile information

reset [Local_store]

Resets all the references to the initial snapshot (i.e.

reset [Load_path]

Remove all directories

reset [Location]
reset_arguments [Clflags]
reset_base_overrides [Arg_helper.Make]
reset_fatal [Warnings]
restore [Warnings]
resume [Terminfo]
resume [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
resuming_error_handling [CamlinternalMenhirLib.EngineTypes.TABLE.Log]
rev_split_words [Misc]
revised2traditional [CamlinternalMenhirLib.Convert.Simplified]
revised2traditional [CamlinternalMenhirLib.Convert]
rewrite [Build_path_prefix_map]
rewrite_absolute_path [Location]

rewrite absolute path to honor the BUILD_PATH_PREFIX_MAP variable (https://reproducible-builds.org/specs/build-path-prefix-map/) if it is set.

rewrite_opt [Build_path_prefix_map]

rewrite_opt map path tries to find a source in map that is a prefix of the input path.

rhs [CamlinternalMenhirLib.InspectionTableFormat.TABLES]
rhs [CamlinternalMenhirLib.IncrementalEngine.INSPECTION]
rhs_docs [Docstrings.WithMenhir]

Fetch the item documentation for the symbols between two positions.

rhs_docs [Docstrings]

Fetch the item documentation for the symbols between two positions.

rhs_docs_lazy [Docstrings.WithMenhir]
rhs_docs_lazy [Docstrings]
rhs_info [Docstrings.WithMenhir]

Fetch the field info following the symbol at a given position.

rhs_info [Docstrings]

Fetch the field info following the symbol at a given position.

rhs_interval [Location]
rhs_loc [Location]

rhs_loc n returns the location of the symbol at position n, starting at 1, in the current parser rule.

rhs_post_extra_text [Docstrings.WithMenhir]

Fetch additional text following the symbol at the given position

rhs_post_extra_text [Docstrings]

Fetch additional text following the symbol at the given position

rhs_post_text [Docstrings.WithMenhir]

Fetch text following the symbol at the given position

rhs_post_text [Docstrings]

Fetch text following the symbol at the given position

rhs_pre_extra_text [Docstrings.WithMenhir]

Fetch additional text preceding the symbol at the given position

rhs_pre_extra_text [Docstrings]

Fetch additional text preceding the symbol at the given position

rhs_text [Docstrings.WithMenhir]

Fetch the text preceding the symbol at the given position.

rhs_text [Docstrings]

Fetch the text preceding the symbol at the given position.

rhs_text_lazy [Docstrings.WithMenhir]
rhs_text_lazy [Docstrings]
rounds [Clflags]
row_length [CamlinternalMenhirLib.LinearizedArray]
row_length_via [CamlinternalMenhirLib.LinearizedArray]
run_command [Ccomp]
run_main [Ast_mapper]

Entry point to call to implement a standalone -ppx rewriter from a mapper, parametrized by the command line arguments.

runtime_variant [Clflags]
S
s_ref [Local_store]

Similar to Stdlib.ref, except the allocated reference is registered into the store.

s_table [Local_store]

Used to register hash tables.

sanitize [CamlinternalMenhirLib.ErrorReports]
search_substring [Misc]
semantic_action [CamlinternalMenhirLib.TableFormat.TABLES]
semantic_action [CamlinternalMenhirLib.EngineTypes.TABLE]
send [Ast_helper.Exp]
sequence [Ast_helper.Exp]
set [Misc.LongString]
set [Consistbl.Make]
set [CamlinternalMenhirLib.InfiniteArray]

set a i x sets the element contained at offset i in the array a to x.

set_base_default [Arg_helper.Make]
set_color_tag_handling [Misc.Color]
set_cookie [Ast_mapper]
set_dumped_pass [Clflags]
set_floating_docstrings [Docstrings]

Docstrings not immediately adjacent to a token

set_or_ignore [Misc]
set_post_docstrings [Docstrings]

Docstrings immediately following a token

set_post_extra_docstrings [Docstrings]

Docstrings immediately preceding the token which follows this one

set_pre_docstrings [Docstrings]

Docstrings immediately preceding a token

set_pre_extra_docstrings [Docstrings]

Docstrings immediately following the token which precedes this one

set_preprocessor [Lexer]
set_save_ir_after [Clflags]
set_styles [Misc.Color]
set_user_default [Arg_helper.Make]
setfield [Ast_helper.Exp]
setinstvar [Ast_helper.Exp]
setup [Terminfo]
setup [Misc.Color]
shared [Clflags]
shift [CamlinternalMenhirLib.EngineTypes.TABLE.Log]
shift_left [Targetint]

Targetint.shift_left x y shifts x to the left by y bits.

shift_right [Targetint]

Targetint.shift_right x y shifts x to the right by y bits.

shift_right_logical [Targetint]

Targetint.shift_right_logical x y shifts x to the right by y bits.

shifts [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
shorten [CamlinternalMenhirLib.ErrorReports]
should_save_ir_after [Clflags]
should_stop_after [Clflags]
show [CamlinternalMenhirLib.ErrorReports]
show_config_and_exit [Misc]

configuration variables

show_config_variable_and_exit [Misc]
show_filename [Location]

In -absname mode, return the absolute path for this filename.

signature [Pprintast]
signature [Ast_invariants]
signature [Ast_helper.Cty]
signature [Ast_helper.Mty]
signature_item [Pprintast]
simple_module_path [Parse]

This function parses a syntactically valid path for a module.

simplify_rounds [Clflags]
size [Targetint]

The size in bits of a target native integer.

skip_hash_bang [Lexer]
snd3 [Misc]
snd4 [Misc]
some_if_all_elements_are_some [Misc.Stdlib.List]

If all elements of the given list are Some _ then Some xs is returned with the xs being the contents of those Somes, with order preserved.

source [Consistbl.Make]
spellcheck [Misc]

spellcheck env name takes a list of names env that exist in the current environment and an erroneous name, and returns a list of suggestions taken from env, that are close enough to name that it may be a typo for one of them.

split_at [Misc.Stdlib.List]

split_at n l returns the pair before, after where before is the n first elements of l and after the remaining ones.

split_last [Misc]
split_path_contents [Misc]
stack [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
stack_ctx_words [Domainstate]
stack_safety_margin [Config]

Size in words of the safety margin between the bottom of the stack and the stack pointer.

stack_safety_margin [Config_main]

Size in words of the safety margin between the bottom of the stack and the stack pointer.

stack_safety_margin [Config_boot]

Size in words of the safety margin between the bottom of the stack and the stack pointer.

stack_threshold [Config]

Size in words of safe area at bottom of VM stack, see runtime/caml/config.h

stack_threshold [Config_main]

Size in words of safe area at bottom of VM stack, see runtime/caml/config.h

stack_threshold [Config_boot]

Size in words of safe area at bottom of VM stack, see runtime/caml/config.h

standard_library [Config]

The directory containing the standard libraries

standard_library [Config_main]

The directory containing the standard libraries

standard_library [Config_boot]

The directory containing the standard libraries

standout [Terminfo]
start [CamlinternalMenhirLib.TableFormat.TABLES]
start [CamlinternalMenhirLib.EngineTypes.INCREMENTAL_ENGINE_START]
state [CamlinternalMenhirLib.EngineTypes.TABLE.Log]
state_has_default_reduction [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
std_include_dir [Clflags]
std_include_flag [Clflags]
stop_after [Clflags]
strict_formats [Clflags]
strict_sequence [Clflags]
string [Ast_helper.Const]
string_of_expression [Pprintast]
string_of_file [Misc]
string_of_kind [Misc.Magic_number]

a user-printable string for a kind, eg.

string_of_structure [Pprintast]
structure [Printast]
structure [Pprintast]
structure [Ast_invariants]
structure [Ast_helper.Cl]
structure [Ast_helper.Mod]
structure_item [Pprintast]
style [Diffing]
sub [Targetint]

Subtraction.

succ [Targetint]

Successor.

supports_shared_libraries [Config]

Whether shared libraries are supported

supports_shared_libraries [Config_main]

Whether shared libraries are supported

supports_shared_libraries [Config_boot]

Whether shared libraries are supported

symbol_docs [Docstrings.WithMenhir]

Fetch the item documentation for the current symbol.

symbol_docs [Docstrings]

Fetch the item documentation for the current symbol.

symbol_docs_lazy [Docstrings.WithMenhir]
symbol_docs_lazy [Docstrings]
symbol_gloc [Location]
symbol_info [Docstrings.WithMenhir]

Fetch the field info for the current symbol.

symbol_info [Docstrings]

Fetch the field info for the current symbol.

symbol_offset [Binutils]
symbol_post_extra_text [Docstrings.WithMenhir]

Fetch additional text following the current symbol

symbol_post_extra_text [Docstrings]

Fetch additional text following the current symbol

symbol_pre_extra_text [Docstrings.WithMenhir]

Fetch additional text preceding the current symbol

symbol_pre_extra_text [Docstrings]

Fetch additional text preceding the current symbol

symbol_rloc [Location]
symbol_text [Docstrings.WithMenhir]

Fetch the text preceding the current symbol.

symbol_text [Docstrings]

Fetch the text preceding the current symbol.

symbol_text_lazy [Docstrings.WithMenhir]
symbol_text_lazy [Docstrings]
system [Config]

Name of operating system for the native-code compiler

system [Config_main]

Name of operating system for the native-code compiler

system [Config_boot]

Name of operating system for the native-code compiler

systhread_supported [Config]

Whether the system thread library is implemented

systhread_supported [Config_main]

Whether the system thread library is implemented

systhread_supported [Config_boot]

Whether the system thread library is implemented

T
tag [Ast_helper.Of]
tag [Ast_helper.Rf]
take [CamlinternalMenhirLib.General]
target [Config]

Whether the compiler is a cross-compiler

target [Config_main]

Whether the compiler is a cross-compiler

target [Config_boot]

Whether the compiler is a cross-compiler

terminal [CamlinternalMenhirLib.InspectionTableFormat.TABLES]
terminfo_toplevel_printer [Location]
test [Diffing_with_keys.Define.Parameters]
test [Diffing.Define.Parameters]

test st xl xr tests if the elements xl and xr are co mpatible (Ok) or not (Error).

text [Ast_helper.Cf]
text [Ast_helper.Ctf]
text [Ast_helper.Str]
text [Ast_helper.Sig]
text_attr [Docstrings]
thd3 [Misc]
thd4 [Misc]
to_float [Targetint]

Convert the given target integer to a floating-point number.

to_int [Targetint]

Convert the given target integer (type t) to an integer (type int).

to_int [Numbers.Int16]
to_int [Numbers.Int8]
to_int32 [Targetint]

Convert the given target integer to a 32-bit integer (type int32).

to_int64 [Targetint]

Convert the given target integer to a 64-bit integer (type int64).

to_list [Identifiable.Tbl]
to_map [Identifiable.Tbl]
to_output_filename [Clflags.Compiler_pass]
to_string [Targetint]

Return the string representation of its argument, in decimal.

to_string [Numbers.Int]
to_string [Identifiable.Set]
to_string [Clflags.Compiler_pass]
token [Lexer]
token2terminal [CamlinternalMenhirLib.TableFormat.TABLES]
token2terminal [CamlinternalMenhirLib.EngineTypes.TABLE]
token2value [CamlinternalMenhirLib.TableFormat.TABLES]
token2value [CamlinternalMenhirLib.EngineTypes.TABLE]
token_with_comments [Lexer]
tool_name [Ast_mapper]

Can be used within a ppx preprocessor to know which tool is calling it "ocamlc", "ocamlopt", "ocamldoc", "ocamldep", "ocaml", ...

top [CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE]
top_phrase [Printast]
top_phrase [Pprintast]
toplevel_phrase [Pprintast]
toplevel_phrase [Parser.Incremental]
toplevel_phrase [Parser]
toplevel_phrase [Parse]
trace [CamlinternalMenhirLib.TableFormat.TABLES]
traditional2revised [CamlinternalMenhirLib.Convert.Simplified]
traditional2revised [CamlinternalMenhirLib.Convert]
transl [Profile]
transparent_modules [Clflags]
transpose_keys_and_data [Identifiable.Map]
transpose_keys_and_data_set [Identifiable.Map]
try_ [Ast_helper.Exp]
try_finally [Misc]

try_finally work ~always ~exceptionally is designed to run code in work that may fail with an exception, and has two kind of cleanup routines: always, that must be run after any execution of the function (typically, freeing system resources), and exceptionally, that should be run only if work or always failed with an exception (typically, undoing user-visible state changes that would only make sense if the function completes correctly).

tuple [Ast_helper.Exp]
tuple [Ast_helper.Pat]
tuple [Ast_helper.Typ]
type_ [Ast_helper.Str]
type_ [Ast_helper.Sig]
type_ [Ast_helper.Pat]
type_extension [Ast_helper.Str]
type_extension [Ast_helper.Sig]
type_ident [Parse]

This function parse syntactically valid path for a type or a module type.

type_subst [Ast_helper.Sig]
typeof_ [Ast_helper.Mty]
typing [Profile]
tyvar [Pprintast]

Print a type variable name, taking care of the special treatment required for the single quote character in second position.

U
unbox_closures [Clflags]
unbox_closures_factor [Clflags]
unbox_free_vars_of_closures [Clflags]
unbox_specialised_args [Clflags]
unboxed_types [Clflags]
unflatten [Longident]

For a non-empty list l, unflatten l is Some lid where lid is the long identifier created by concatenating the elements of l with Ldot.

unflatten1 [CamlinternalMenhirLib.PackedIntArray]
union_left [Identifiable.Map]

union_left m1 m2 = union_right m2 m1

union_merge [Identifiable.Map]
union_right [Identifiable.Map]

union_right m1 m2 contains all bindings from m1 and m2.

uniq [CamlinternalMenhirLib.General]
unique_ids [Clflags]
unpack [Ast_helper.Mod]
unpack [Ast_helper.Pat]
unreachable [Ast_helper.Exp]
unsafe [Clflags]
unsigned_compare [Targetint]

Same as Targetint.compare, except that arguments are interpreted as unsigned integers.

unsigned_div [Targetint]

Same as Targetint.div, except that arguments and result are interpreted as unsigned integers.

unsigned_rem [Targetint]

Same as Targetint.rem, except that arguments and result are interpreted as unsigned integers.

update [Diffing_with_keys.Define.Parameters]
update [Diffing.Define.Parameters]

update ch st returns the new state after applying a change.

use_file [Parser.Incremental]
use_file [Parser]
use_file [Parse]
use_inlining_arguments_set [Clflags]

Set all the inlining arguments for a round.

use_linscan [Clflags]
use_prims [Clflags]
use_runtime [Clflags]
use_threads [Clflags]
V
val_ [Ast_helper.Cf]
val_ [Ast_helper.Ctf]
val_ident [Parse]

This function parses a syntactically valid path for a value.

value [Ast_helper.Str]
value [Ast_helper.Sig]
var [Ast_helper.Pat]
var [Ast_helper.Typ]
variant [Ast_helper.Exp]
variant [Ast_helper.Pat]
variant [Ast_helper.Typ]
varify_constructors [Ast_helper.Typ]

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.

verbose [Clflags]
version [Config]

The current version number of the system

version [Config_main]

The current version number of the system

version [Config_boot]

The current version number of the system

virtual_ [Ast_helper.Cf]
W
warn_bad_docstrings [Docstrings]

Emit warnings for unattached and ambiguous docstrings

warn_on_literal_pattern [Builtin_attributes]
warning_attribute [Builtin_attributes]

Apply warning settings from the specified attribute.

warning_reporter [Location]

Hook for intercepting warnings.

warning_scope [Builtin_attributes]

Execute a function in a new scope for warning settings.

weaken_map [Depend]
weed [CamlinternalMenhirLib.General]
weight [Diffing_with_keys.Define.Parameters]
weight [Diffing.Define.Parameters]

weight ch returns the weight of the change ch.

while_ [Ast_helper.Exp]
windows_unicode [Config]

Whether Windows Unicode runtime is enabled

windows_unicode [Config_main]

Whether Windows Unicode runtime is enabled

windows_unicode [Config_boot]

Whether Windows Unicode runtime is enabled

with_ [Ast_helper.Mty]
with_cmm_invariants [Config]

Whether the invariants checks for Cmm are enabled

with_cmm_invariants [Config_main]

Whether the invariants checks for Cmm are enabled

with_cmm_invariants [Config_boot]

Whether the invariants checks for Cmm are enabled

with_default_loc [Ast_helper]

Set the default_loc within the scope of the execution of the provided function.

with_flambda_invariants [Config]

Whether the invariants checks for flambda are enabled

with_flambda_invariants [Config_main]

Whether the invariants checks for flambda are enabled

with_flambda_invariants [Config_boot]

Whether the invariants checks for flambda are enabled

with_frame_pointers [Config]

Whether assembler should maintain frame pointers

with_frame_pointers [Config_main]

Whether assembler should maintain frame pointers

with_frame_pointers [Config_boot]

Whether assembler should maintain frame pointers

with_pos [Diffing_with_keys]
with_runtime [Clflags]
with_state [Warnings]
with_store [Local_store]

with_store s f resets all the registered references to the value they have in s for the run of f.

without_warnings [Warnings]

Run the thunk with all warnings and alerts disabled.

wrap [CamlinternalMenhirLib.ErrorReports]
wrap_supplier [CamlinternalMenhirLib.ErrorReports]
write [CamlinternalMenhirLib.LinearizedArray]
write_ast [Pparse]
X
xfirst [CamlinternalMenhirLib.IncrementalEngine.INSPECTION]
Z
zero [Targetint]

The target integer 0.

zero [Numbers.Int8]
zero_to_n [Numbers.Int]

zero_to_n n is the set of numbers {0, ..., n} (inclusive).