Index of values

Return the absolute value of its argument.

Addition.

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

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

Same as add_ppx_context_str, but for signatures.

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.

Convert text to attributes and add them to an attribute list

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.

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

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

Detects the terminal capabilities and selects an adequate printer

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

The lexicographic order supported by the provided order.

Get the location of the current token from the lexbuf.

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.

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

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

Default value for all optional location arguments.

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

Original report printer for use in hooks.

Original warning reporter for use in hooks.

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

Prints a deprecation warning.

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

disjoint_union m1 m2 contains all bindings from m1 and m2.

Integer division.

Create a docstring

Get the text of a docstring

Get the location of a docstring

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

Same as drop_ppx_context_str, but for signatures.

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

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

The equal function for target ints.

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

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

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

filter_map f l applies f to every element of l, filters out the None elements and returns the list of the arguments of the Some elements.

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

Returns the map encoded in the BUILD_PATH_PREFIX_MAP environment variable.

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

file, line, char

Return an empty ghost range located in a given file.

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

(Re)Initialise all docstring state

Bitwise logical and.

Bitwise logical negation.

Bitwise logical or.

Bitwise logical exclusive or.

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

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.

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

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

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

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

The greatest representable target integer, either 2³¹ - 1 on a 32-bit platform, or 2⁶³ - 1 on a 64-bit platform.

The smallest representable target integer, either -2³¹ on a 32-bit platform, or -2⁶³ on a 64-bit platform.

The target integer -1.

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

Multiplication.

Unary negation.

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

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

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

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

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

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

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

Convert the given string to a target integer.

The target integer 1.

Predecessor.

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

Prints the selected recorded profiling information to the formatter.

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

Display an error or warning report.

Prints a warning.

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

A hook can use raise_unwrapped_hook_exn to raise an exception that will not be wrapped into a Misc.HookExnWrapper.

record pass f arg records the profile information of f arg

record_call pass f calls f and records its profile information.

Register a docstring

Apply the register_function.

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.

Integer remainder.

Reraise the exception if it is unknown.

Hook for redefining the printer of reports.

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

The concrete representation of a native integer.

erase all recorded profile information

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 map path tries to find a source in map that is a prefix of the input path.

Fetch the item documentation for the symbols between two positions.

Fetch the item documentation for the symbols between two positions.

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

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

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

Fetch additional text following the symbol at the given position

Fetch additional text following the symbol at the given position

Fetch text following the symbol at the given position

Fetch text following the symbol at the given position

Fetch additional text preceding the symbol at the given position

Fetch additional text preceding the symbol at the given position

Fetch the text preceding the symbol at the given position.

Fetch the text preceding the symbol at the given position.

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

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

Docstrings not immediately adjacent to a token

Docstrings immediately following a token

Docstrings immediately preceding the token which follows this one

Docstrings immediately preceding a token

Docstrings immediately following the token which precedes this one

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

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

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

configuration variables

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

The size in bits of a target native integer.

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.

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 n l returns the pair before, after where before is the n first elements of l and after the remaining ones.

Subtraction.

Successor.

Fetch the item documentation for the current symbol.

Fetch the item documentation for the current symbol.

Fetch the field info for the current symbol.

Fetch the field info for the current symbol.

Fetch additional text following the current symbol

Fetch additional text following the current symbol

Fetch additional text preceding the current symbol

Fetch additional text preceding the current symbol

Fetch the text preceding the current symbol.

Fetch the text preceding the current symbol.

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

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

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

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

Return the string representation of its argument, in decimal.

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

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).

union_left m1 m2 = union_right m2 m1

union_right m1 m2 contains all bindings from m1 and m2.

Set all the inlining arguments for a round.

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.

Emit warnings for unattached and ambiguous docstrings

Apply warning settings from the specified attribute.

Hook for intercepting warnings.

Execute a function in a new scope for warning settings.

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

The target integer 0.

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