Index of values

Integer multiplication.

Exponentiation.

Floating-point multiplication.

!r returns the current contents of reference r.

Negation of Pervasives.(==).

The boolean 'and'.

Integer addition.

Floating-point addition.

Integer subtraction.

Floating-point subtraction.

Integer division.

Floating-point division.

r := a stores the value of a in reference r.

See Pervasives.(>=).

See Pervasives.(>=).

Negation of Pervasives.(=).

e1 = e2 tests for structural equality of e1 and e2.

e1 == e2 tests for physical equality of e1 and e2.

See Pervasives.(>=).

Structural ordering functions.

List concatenation.

Application operator: g @@ f @@ x is exactly equivalent to g (f (x)).

String concatenation.

f1 ^^ f2 catenates format strings f1 and f2.

n asr m shifts n to the right by m bits.

Bitwise logical and.

Bitwise logical or.

n lsl m shifts n to the left by m bits.

n lsr m shifts n to the right by m bits.

Bitwise logical exclusive or.

Integer remainder.

Reverse-application operator: x |> f |> g is exactly equivalent to g (f (x)).

The boolean 'or'.

Unary addition.

Unary addition.

Unary negation.

Unary negation.

__FILE__ returns the name of the file currently being parsed by the compiler.

__LINE__ expr returns a pair (line, expr), where line is the line number at which the expression expr appears in the file currently being parsed by the compiler.

__LINE__ returns the line number at which this expression appears in the file currently being parsed by the compiler.

__LOC_OF__ expr returns a pair (loc, expr) where loc is the location of expr in the file currently being parsed by the compiler, with the standard error format of OCaml: "File %S, line %d, characters %d-%d".

__LOC__ returns the location at which this expression appears in the file currently being parsed by the compiler, with the standard error format of OCaml: "File %S, line %d, characters %d-%d".

__MODULE__ returns the module name of the file being parsed by the compiler.

__POS_OF__ expr returns a pair (loc,expr), where loc is a tuple (file,lnum,cnum,enum) corresponding to the location at which the expression expr appears in the file currently being parsed by the compiler.

__POS__ returns a tuple (file,lnum,cnum,enum), corresponding to the location at which this expression appears in the file currently being parsed by the compiler.

Return the absolute value of the argument.

Return the absolute value of its argument.

Return the absolute value of its argument.

Return the absolute value of its argument.

abs_float f returns the absolute value of f.

Arc cosine.

In bytecode, the identity function.

add t x adds x to t.

add x s returns a set containing all elements of s, plus x.

add x q adds the element x at the end of the queue q.

Addition.

add x y m returns a map containing the same bindings as m, plus a binding of x to y.

Addition.

Addition.

Hashtbl.add tbl x y adds a binding of x to y in table tbl.

Addition

Same as Dynlink.add_interfaces, but instead of searching .cmi files to find the unit interfaces, uses the interface digests given for each unit.

add_buffer b1 b2 appends the current contents of buffer b2 at the end of buffer b1.

add_bytes b s appends the byte sequence s at the end of buffer b.

add_channel b ic n reads at most n characters from the input channel ic and stores them at the end of buffer b.

add_char b c appends the character c at the end of buffer b.

add_interfaces units path grants dynamically-linked object files access to the compilation units named in list units.

add_string b s appends the string s at the end of buffer b.

add_subbytes b s ofs len takes len characters from offset ofs in byte sequence s and appends them at the end of buffer b.

add_substitute b f s appends the string pattern s at the end of buffer b with substitution.

add_substring b s ofs len takes len characters from offset ofs in string s and appends them at the end of buffer b.

add_symbolic_output_item sob itm adds item itm to buffer sob.

add_utf_16be_uchar b u appends the UTF-16BE encoding of u at the end of buffer b.

add_utf_16le_uchar b u appends the UTF-16LE encoding of u at the end of buffer b.

add_utf_8_uchar b u appends the UTF-8 encoding of u at the end of buffer b.

Align the documentation strings by inserting spaces at the first alignment separator (tab or, if tab is not found, space), according to the length of the keyword.

Return the total number of bytes allocated since the program was started.

allow_only units restricts the compilation units that dynamically-linked units can reference: it forbids all references to units other than those named in the list units.

Govern whether unsafe object files are allowed to be dynamically linked.

always v returns an event that is always ready for synchronization.

Catenate two lists.

Concatenate two lists.

Array.append v1 v2 returns a fresh array containing the concatenation of the arrays v1 and v2.

Array.append v1 v2 returns a fresh array containing the concatenation of the arrays v1 and v2.

Argument.

The command line arguments given to the process.

Sort an array in increasing order according to an ordering predicate.

Arc sine.

Same as printf above, but instead of printing on a formatter, returns a string containing the result of formatting the arguments.

assoc a l returns the value associated with key a in the list of pairs l.

assoc a l returns the value associated with key a in the list of pairs l.

assoc_opt a l returns the value associated with key a in the list of pairs l.

assoc_opt a l returns the value associated with key a in the list of pairs l.

Same as List.assoc, but uses physical equality instead of structural equality to compare keys.

Same as List.assoc, but uses physical equality instead of structural equality to compare keys.

Same as List.assoc_opt, but uses physical equality instead of structural equality to compare keys.

Same as List.assoc_opt, but uses physical equality instead of structural equality to compare keys.

Register the given function to be called at program termination time.

Arc tangent.

atan2 y x returns the arc tangent of y /. x.

By default, drawing takes place both on the window displayed on screen, and in a memory area (the 'backing store').

Backend type currently executing the OCaml program.

See Graphics.foreground.

Returns the slots of a raw backtrace, or None if none of them contain useful information.

Printexc.backtrace_status() returns true if exception backtraces are currently recorded, false if not.

Split a file name into directory name / base file name.

Scanning.beginning_of_input ic tests the beginning of input condition of the given Scanf.Scanning.in_channel formatted input channel.

Whether the machine currently executing the Caml program is big-endian.

Return the list of all bindings of the given map.

Return 30 random bits in a nonnegative integer.

Return the internal representation of the given float according to the IEEE 754 floating-point 'double format' bit layout.

Return the internal representation of the given float according to the IEEE 754 floating-point 'single format' bit layout.

Weak.blit ar1 off1 ar2 off2 len copies len weak pointers from ar1 (starting at off1) to ar2 (starting at off2).

String.blit src srcoff dst dstoff len copies len bytes from the string src, starting at index srcoff, to byte sequence dst, starting at character number dstoff.

Same as Bytes.blit_string.

blit src srcoff dst dstoff len copies len bytes from sequence src, starting at index srcoff, to sequence dst, starting at index dstoff.

blit src srcoff dst dstoff len copies len bytes from sequence src, starting at index srcoff, to sequence dst, starting at index dstoff.

Buffer.blit src srcoff dst dstoff len copies len characters from the current contents of the buffer src, starting at offset srcoff to dst, starting at character dstoff.

Array.blit v1 o1 v2 o2 len copies len elements from array v1, starting at element number o1, to array v2, starting at element number o2.

Array.blit v1 o1 v2 o2 len copies len elements from array v1, starting at element number o1, to array v2, starting at element number o2.

Same as Ephemeron.K1.blit_data

Same as Ephemeron.K1.blit_data

Same as Ephemeron.K1.blit_data

Ephemeron.K1.blit_data eph1 eph2 sets the data of eph2 with the data of eph1.

blit_image img x y copies screen pixels into the image img, modifying img in-place.

Same as Ephemeron.K1.blit_key

Same as Ephemeron.K1.blit_key

Ephemeron.K1.blit_key eph1 eph2 sets the key of eph2 with the key of eph1.

Same as Ephemeron.K1.blit_key

Same as Ephemeron.K1.blit_key

Same as Ephemeron.K1.blit_key

blit src srcoff dst dstoff len copies len bytes from string src, starting at index srcoff, to byte sequence dst, starting at index dstoff.

blit src srcoff dst dstoff len copies len bytes from string src, starting at index srcoff, to byte sequence dst, starting at index dstoff.

bom is U+FEFF, the byte order mark (BOM) character.

These functions are the same as the basic functions, except that they use (and update) the given PRNG state instead of the default one.

Random.bool () returns true or false with probability 0.5 each.

Convert the given string to a boolean.

Convert the given string to a boolean.

Same as Str.bounded_split_delim, but returns the delimiters as well as the substrings contained between delimiters.

Same as Str.split, but splits into at most n substrings, where n is the extra integer parameter.

Same as Str.bounded_split, but occurrences of the delimiter at the beginning and at the end of the string are recognized and returned as empty strings in the result.

Same as Printf.fprintf, but instead of printing on an output channel, append the formatted arguments to the given extensible buffer (see module Buffer).

bscanf_format ic fmt f reads a format string token from the formatted input channel ic, according to the given format string fmt, and applies f to the resulting format string value.

Return true if the mouse button is pressed, false otherwise.

Return the digest of the given byte sequence.

Return a copy of the argument, with the first character set to uppercase, using the US-ASCII character set.

Return a copy of the argument, with the first character set to uppercase, using the US-ASCII character set.

Return a copy of the argument, with the first character set to uppercase, using the US-ASCII character set.

Return a copy of the argument, with the first character set to uppercase, using the US-ASCII character set.

Return the number of elements of a set.

Return the number of bindings of a map.

cat s1 s2 concatenates s1 and s2 and returns the result as new byte sequence.

cat s1 s2 concatenates s1 and s2 and returns the result as new byte sequence.

Printexc.catch fn x is similar to Printexc.print, but aborts the program with exit code 2 after printing the uncaught exception.

catch_break governs whether interactive interrupt (ctrl-C) terminates the program or raises the Break exception.

Round above to an integer value.

If len is nonnegative, Digest.channel ic len reads len characters from channel ic and returns their digest, or raises End_of_file if end-of-file is reached before len characters are read.

Return the character with the given ASCII code.

Change the current working directory of the process.

Weak.check ar n returns true if the nth cell of ar is full, false if it is empty.

Same as Ephemeron.K1.check_data

Same as Ephemeron.K1.check_data

Same as Ephemeron.K1.check_data

Ephemeron.K1.check_data eph returns true if the data of the eph is full, false if it is empty.

Same as Ephemeron.K1.check_key

Same as Ephemeron.K1.check_key

Ephemeron.K1.check_key eph returns true if the key of the eph is full, false if it is empty.

Same as Ephemeron.K1.check_key

Same as Ephemeron.K1.check_key

check_suffix name suff returns true if the filename name ends with the suffix suff.

Return one element of the given set, or raise Not_found if the set is empty.

Return one binding of the given map, or raise Not_found if the map is empty.

choose evl returns the event that is the alternative of all the events in the list evl.

Return one element of the given set, or None if the set is empty.

Return one binding of the given map, or None if the map is empty.

Same as Filename.remove_extension, but raise Invalid_argument if the given name has an empty extension.

chop_suffix name suff removes the suffix suff from the filename name.

Return the character with the given ASCII code.

Return the class of the given floating-point number: normal, subnormal, zero, infinite, or not a number.

remove all dead bindings.

remove all dead bindings.

Remove all elements from the table.

Discard all elements from a stack.

Discard all elements from a queue.

Empty a hash table.

Empty the buffer.

Empty the list of compilation units accessible to dynamically-linked programs.

Erase the graphics window.

Empty the parser stack.

clear_symbolic_output_buffer sob resets buffer sob.

Closes the most recently open pretty-printing box.

Delete the graphics window or switch the screen back to text mode.

Closes the Pervasives.in_channel associated with the given Scanf.Scanning.in_channel formatted input channel.

Close the given channel.

Same as close_in, but ignore all errors.

Close the given channel, flushing all buffered write operations.

Same as close_out, but ignore all errors.

Close the sub-window having the given identifier.

pp_close_tag ppf () closes the most recently opened semantic tag t.

Closes the most recently opened tabulation box.

Return the ASCII code of the argument.

Transform a pair of lists into a list of pairs: combine [a1; ...; an] [b1; ...; bn] is [(a1,b1); ...; (an,bn)].

Transform a pair of lists into a list of pairs: combine [a1; ...; an] [b1; ...; bn] is [(a1,b1); ...; (an,bn)].

Execute the given shell command and return its exit code.

Perform a full major collection and compact the heap.

compare u u' is Pervasives.compare u u'.

The comparison function for strings, with the same specification as Pervasives.compare.

The comparison function for strings, with the same specification as Pervasives.compare.

A total ordering function over the set elements.

Total ordering between sets.

compare x y returns 0 if x is equal to y, a negative integer if x is less than y, and a positive integer if x is greater than y.

The comparison function for native integers, with the same specification as Pervasives.compare.

A total ordering function over the keys.

Total ordering between maps.

The comparison function for 64-bit integers, with the same specification as Pervasives.compare.

The comparison function for 32-bit integers, with the same specification as Pervasives.compare.

The comparison function for 16-character digest, with the same specification as Pervasives.compare and the implementation shared with String.compare.

The comparison function for characters, with the same specification as Pervasives.compare.

The comparison function for byte sequences, with the same specification as Pervasives.compare.

The comparison function for byte sequences, with the same specification as Pervasives.compare.

Compare the length of a list to an integer.

Compare the length of a list to an integer.

Compare the lengths of two lists.

Compare the lengths of two lists.

String.concat sep sl concatenates the list of strings sl, inserting the separator string sep between each.

String.concat sep sl concatenates the list of strings sl, inserting the separator string sep between each.

Concatenate a list of lists.

Concatenate a list of lists.

concat dir file returns a file name that designates file file in directory dir.

concat sep sl concatenates the list of byte sequences sl, inserting the separator byte sequence sep between each, and returns the result as a new byte sequence.

concat sep sl concatenates the list of byte sequences sl, inserting the separator byte sequence sep between each, and returns the result as a new byte sequence.

Same as Array.append, but concatenates a list of arrays.

Same as Array.append, but concatenates a list of arrays.

Conjugate: given the complex x + i.y, returns x - i.y.

cons x xs is x :: xs

cons x xs is x :: xs

String.contains s c tests if character c appears in the string s.

String.contains s c tests if character c appears in the string s.

contains s c tests if byte c appears in s.

contains s c tests if byte c appears in s.

String.contains_from s start c tests if character c appears in s after position start.

String.contains_from s start c tests if character c appears in s after position start.

contains_from s start c tests if byte c appears in s after position start.

contains_from s start c tests if byte c appears in s after position start.

Return a copy of the current contents of the buffer.

Extracts the user-friendly backtrace_slot from a low-level raw_backtrace_slot.

Return a copy of the given string.

Return a copy of the given stack.

Return a copy of the given state.

Return a copy of the given queue.

Oo.copy o returns a copy of object o, that is a fresh object with the same methods and instance variables as o.

Return a copy of the given hashtable.

Return a new byte sequence that contains the same bytes as the argument.

Return a new byte sequence that contains the same bytes as the argument.

Array.copy a returns a copy of a, that is, a fresh array containing the same elements as a.

Array.copy a returns a copy of a, that is, a fresh array containing the same elements as a.

copysign x y returns a float whose absolute value is that of x and whose sign is that of y.

Cosine.

Hyperbolic cosine.

Count the number of elements in the table.

Return the current count of the stream elements, i.e.

Return (minor_words, promoted_words, major_words).

create n creates a new empty weak hash set, of initial size n.

Weak.create n returns a new weak array of length n.

Return a new stack, initially empty.

create ~path creates a series file at path.

Return a new queue, initially empty.

create n returns an ephemeron with n keys.

Return a new mutex.

Hashtbl.create n creates a new, empty hash table, with initial size n.

Same as Ephemeron.K1.create

Same as Ephemeron.K1.create

Ephemeron.K1.create () creates an ephemeron with one key.

create n returns a new byte sequence of length n.

create n returns a new byte sequence of length n.

create n returns a fresh buffer, initially empty.

create_alarm f will arrange for f to be called at the end of each major GC cycle, starting with the current cycle or the next one.

Array.create_float n returns a fresh float array of length n, with uninitialized data.

Array.create_float n returns a fresh float array of length n, with uninitialized data.

create_image w h returns a new image w pixels wide and h pixels tall, to be used in conjunction with blit_image.

Position (in Sys.argv) of the argument being processed.

The conventional name for the current directory (e.g.

Return the position of the current point.

Return the abscissa of the current point.

Return the ordinate of the current point.

curveto b c d draws a cubic Bezier curve starting from the current point to point d, with control points b and c, and moves the current point to d.

True if Sys.os_type = "Cygwin".

See Marshal.header_size.

Decrement the integer contained in the given reference.

Reset the set of units that can be referenced from dynamically-linked code to its default value, that is, all units composing the currently running program.

delete_alarm a will stop the calls to the function associated to a.

Set difference.

The directory separator (e.g.

See Filename.basename.

Set display mode on or off.

Integer division.

Integer division.

Integer division.

Division

draw_arc x y rx ry a1 a2 draws an elliptical arc with center x,y, horizontal radius rx, vertical radius ry, from angle a1 to angle a2 (in degrees).

See Graphics.draw_string.

draw_circle x y r draws a circle with center x,y and radius r.

draw_ellipse x y rx ry draws an ellipse with center x,y, horizontal radius rx and vertical radius ry.

Draw the given image with lower left corner at the given point.

draw_poly polygon draws the given polygon.

draw_poly_line points draws the line that joins the points given by the array argument.

draw_rect x y w h draws the rectangle with lower left corner at x,y, width w and height h.

draw_segments segments draws the segments given in the array argument.

Draw a character or a character string with lower left corner at current position.

A value of type position, guaranteed to be different from any valid position.

Convert an image to a color matrix.

Return the list of all elements of the given set.

Return () if the stream is empty, else raise Stream.Failure.

The empty set.

The empty map.

A byte sequence of size 0.

A byte sequence of size 0.

Control whether the OCaml runtime system can emit warnings on stderr.

enabled is true if the compiler is configured with spacetime and false otherwise

Scanning.end_of_input ic tests the end-of-input condition of the given Scanf.Scanning.in_channel formatted input channel.

Same as Printf.fprintf, but output on stderr.

Same as fprintf above, but output on err_formatter.

The difference between 1.0 and the smallest exactly representable floating-point number greater than 1.0.

equal u u' is u = u'.

The equal function for strings.

The equal function for strings.

equal s1 s2 tests whether the sets s1 and s2 are equal, that is, contain equal elements.

The equal function for native ints.

equal cmp m1 m2 tests whether the maps m1 and m2 are equal, that is, contain equal keys and associate them with equal data.

The equal function for int64s.

The equal function for int32s.

The equality predicate used to compare keys.

The equality predicate used to compare keys.

The equal function for 16-character digest.

The equal function for chars.

The equality function for byte sequences.

The equality function for byte sequences.

A formatter to write to standard error.

Convert an error description to a printable message.

Return a copy of the argument, with special characters represented by escape sequences, following the lexical conventions of OCaml.

Return a copy of the argument, with special characters represented by escape sequences, following the lexical conventions of OCaml.

Return a string representing the given character, with special characters escaped following the lexical conventions of OCaml.

Return a copy of the argument, with special characters represented by escape sequences, following the lexical conventions of OCaml.

Return a copy of the argument, with special characters represented by escape sequences, following the lexical conventions of OCaml.

The name of the file containing the executable currently running.

exists p s checks if at least one element of the set satisfies the predicate p.

exists p m checks if at least one binding of the map satisfies the predicate p.

exists p [a1; ...; an] checks if at least one element of the list satisfies the predicate p.

exists p [a1; ...; an] checks if at least one element of the list satisfies the predicate p.

Array.exists p [|a1; ...; an|] checks if at least one element of the array satisfies the predicate p.

Array.exists p [|a1; ...; an|] checks if at least one element of the array satisfies the predicate p.

Same as List.exists, but for a two-argument predicate.

Same as List.exists, but for a two-argument predicate.

Terminate the process, returning the given status code to the operating system: usually 0 to indicate no errors, and a small positive integer to indicate failure.

Printexc.exn_slot_id returns an integer which uniquely identifies the constructor used to create the exception value exn (in the current runtime).

Printexc.exn_slot_name exn returns the internal name of the constructor used to create the exception value exn.

Exponential.

Exponentiation.

expm1 x computes exp x -. 1.0, giving numerically-accurate results even if x is close to 0.0.

extend s left right returns a new byte sequence that contains the bytes of s, with left uninitialized bytes prepended and right uninitialized bytes appended to it.

extend s left right returns a new byte sequence that contains the bytes of s, with left uninitialized bytes prepended and right uninitialized bytes appended to it.

extension name is the shortest suffix ext of name0 where:

Raise exception Failure with the given string.

Same as List.sort or List.stable_sort, whichever is faster on typical input.

Same as List.sort or List.stable_sort, whichever is faster on typical input.

Same as Array.sort or Array.stable_sort, whichever is faster on typical input.

Same as Array.sort or Array.stable_sort, whichever is faster on typical input.

Return the digest of the file whose name is given.

Test if a file with the given name exists.

Weak.fill ar ofs len el sets to el all pointers of ar from ofs to ofs + len - 1.

fill s start len c modifies s in place, replacing len characters with c, starting at start.

fill s start len c modifies s in place, replacing len characters with c, starting at start.

Array.fill a ofs len x modifies the array a in place, storing x in elements number ofs to ofs + len - 1.

Array.fill a ofs len x modifies the array a in place, storing x in elements number ofs to ofs + len - 1.

Fill an elliptical pie slice with the current color.

Fill a circle with the current color.

Fill an ellipse with the current color.

Fill the given polygon with the current color.

fill_rect x y w h fills the rectangle with lower left corner at x,y, width w and height h, with the current color.

filter p s returns the set of all elements in s that satisfy predicate p.

filter p m returns the map with all the bindings in m that satisfy predicate p.

filter p l returns all the elements of the list l that satisfy the predicate p.

filter p l returns all the elements of the list l that satisfy the predicate p.

Hashtbl.filter_map_inplace f tbl applies f to all bindings in table tbl and update each binding depending on the result of f.

finalise f v registers f as a finalisation function for v.

same as Gc.finalise except the value is not given as argument.

A finalisation function may call finalise_release to tell the GC that it can launch the next finalisation function without waiting for the current one to return.

find t x returns an instance of x found in t.

find x s returns the element of s equal to x (according to Ord.compare), or raise Not_found if no such element exists.

find x m returns the current binding of x in m, or raises Not_found if no such binding exists.

find p l returns the first element of the list l that satisfies the predicate p.

find p l returns the first element of the list l that satisfies the predicate p.

Hashtbl.find tbl x returns the current binding of x in tbl, or raises Not_found if no such binding exists.

find_all t x returns a list of all the instances of x found in t.

find_all is another name for List.filter.

find_all is another name for List.filter.

Hashtbl.find_all tbl x returns the list of all data associated with x in tbl.

find_first f s, where f is a monotonically increasing function, returns the lowest element e of s such that f e, or raises Not_found if no such element exists.

find_first f m, where f is a monotonically increasing function, returns the binding of m with the lowest key k such that f k, or raises Not_found if no such key exists.

find_first_opt f s, where f is a monotonically increasing function, returns an option containing the lowest element e of s such that f e, or None if no such element exists.

find_first_opt f m, where f is a monotonically increasing function, returns an option containing the binding of m with the lowest key k such that f k, or None if no such key exists.

find_last f s, where f is a monotonically decreasing function, returns the highest element e of s such that f e, or raises Not_found if no such element exists.

find_last f m, where f is a monotonically decreasing function, returns the binding of m with the highest key k such that f k, or raises Not_found if no such key exists.

find_last_opt f s, where f is a monotonically decreasing function, returns an option containing the highest element e of s such that f e, or None if no such element exists.

find_last_opt f m, where f is a monotonically decreasing function, returns an option containing the binding of m with the highest key k such that f k, or None if no such key exists.

find_opt t x returns an instance of x found in t or None if there is no such element.

find_opt x s returns the element of s equal to x (according to Ord.compare), or None if no such element exists.

find_opt x m returns Some v if the current binding of x in m is v, or None if no such binding exists.

find p l returns the first element of the list l that satisfies the predicate p.

find_opt p l returns the first element of the list l that satisfies the predicate p, or None if there is no value that satisfies p in the list l.

Hashtbl.find_opt tbl x returns the current binding of x in tbl, or None if no such binding exists.

first_chars s n returns the first n characters of s.

Same as concat.

An alias for concat.

Random.float bound returns a random floating-point number between 0 and bound (inclusive).

Same as Pervasives.float_of_int.

Return the floating-point number whose internal representation, according to the IEEE 754 floating-point 'double format' bit layout, is the given int64.

Return the floating-point number whose internal representation, according to the IEEE 754 floating-point 'single format' bit layout, is the given int32.

Convert an integer to floating-point.

Convert the given string to a float.

Same as float_of_string, but returns None instead of raising.

Round below to an integer value.

Flush the buffer associated with the given output channel, performing all pending writes on that channel.

Flush all open output channels; ignore errors.

Discard the contents of the buffer and reset the current position to 0.

Returns the material printed with str_formatter, flushes the formatter and resets the corresponding buffer.

flush_symbolic_output_buffer sob returns the contents of buffer sob and resets buffer sob.

fold f t init computes (f d1 (... (f dN init))) where d1 ... dN are the elements of t in some unspecified order.

fold f accu s is (f (... (f (f accu x1) x2) ...) xn) where x1 is the top of the stack, x2 the second element, and xn the bottom element.

fold f s a computes (f xN ... (f x2 (f x1 a))...), where x1 ... xN are the elements of s, in increasing order.

fold f accu q is equivalent to List.fold_left f accu l, where l is the list of q's elements.

fold f m a computes (f kN dN ... (f k1 d1 a)...), where k1 ... kN are the keys of all bindings in m (in increasing order), and d1 ... dN are the associated data.

Hashtbl.fold f tbl init computes (f kN dN ... (f k1 d1 init)...), where k1 ... kN are the keys of all bindings in tbl, and d1 ... dN are the associated values.

List.fold_left f a [b1; ...; bn] is f (... (f (f a b1) b2) ...) bn.

List.fold_left f a [b1; ...; bn] is f (... (f (f a b1) b2) ...) bn.

Array.fold_left f x a computes f (... (f (f x a.(0)) a.(1)) ...) a.(n-1), where n is the length of the array a.

Array.fold_left f x a computes f (... (f (f x a.(0)) a.(1)) ...) a.(n-1), where n is the length of the array a.

List.fold_left2 f a [b1; ...; bn] [c1; ...; cn] is f (... (f (f a b1 c1) b2 c2) ...) bn cn.

List.fold_left2 f a [b1; ...; bn] [c1; ...; cn] is f (... (f (f a b1 c1) b2 c2) ...) bn cn.

List.fold_right f [a1; ...; an] b is f a1 (f a2 (... (f an b) ...)).

List.fold_right f [a1; ...; an] b is f a1 (f a2 (... (f an b) ...)).

Array.fold_right f a x computes f a.(0) (f a.(1) ( ... (f a.(n-1) x) ...)), where n is the length of the array a.

Array.fold_right f a x computes f a.(0) (f a.(1) ( ... (f a.(n-1) x) ...)), where n is the length of the array a.

List.fold_right2 f [a1; ...; an] [b1; ...; bn] c is f a1 b1 (f a2 b2 (... (f an bn c) ...)).

List.fold_right2 f [a1; ...; an] [b1; ...; bn] c is f a1 b1 (f a2 b2 (... (f an bn c) ...)).

for_all p s checks if all elements of the set satisfy the predicate p.

for_all p m checks if all the bindings of the map satisfy the predicate p.

for_all p [a1; ...; an] checks if all elements of the list satisfy the predicate p.

for_all p [a1; ...; an] checks if all elements of the list satisfy the predicate p.

Array.for_all p [|a1; ...; an|] checks if all elements of the array satisfy the predicate p.

Array.for_all p [|a1; ...; an|] checks if all elements of the array satisfy the predicate p.

Same as List.for_all, but for a two-argument predicate.

Same as List.for_all, but for a two-argument predicate.

force x forces the suspension x and returns its result.

Force a new line in the current pretty-printing box.

force_val x forces the suspension x and returns its result.

Default background and foreground colors (usually, either black foreground on a white background or white foreground on a black background).

format pos slot returns the string representation of slot as raw_backtrace_to_string would format it, assuming it is the pos-th element of the backtrace: the 0-th element is pretty-printed differently than the others.

format_from_string s fmt converts a string argument to a format string, according to the given format string fmt.

format_of_string s returns a format string read from the string literal s.

formatter_of_buffer b returns a new formatter writing to buffer b.

formatter_of_out_channel oc returns a new formatter writing to the corresponding output channel oc.

formatter_of_out_functions out_funs returns a new formatter that writes with the set of output functions out_funs.

formatter_of_symbolic_output_buffer sob returns a symbolic formatter that outputs to symbolic_output_buffer sob.

fprintf outchan format arg1 ... argN formats the arguments arg1 to argN according to the format string format, and outputs the resulting string on the channel outchan.

frexp f returns the pair of the significant and the exponent of f.

Stream.from f returns a stream built from the function f.

Marshal.from_bytes buff ofs unmarshals a structured value like Marshal.from_channel does, except that the byte representation is not read from a channel, but taken from the byte sequence buff, starting at position ofs.

Scanning.from_channel ic returns a Scanf.Scanning.in_channel formatted input channel which reads from the regular Pervasives.in_channel input channel ic argument.

Marshal.from_channel chan reads from channel chan the byte representation of a structured value, as produced by one of the Marshal.to_* functions, and reconstructs and returns the corresponding value.

Create a lexer buffer on the given input channel.

An alias for Scanf.Scanning.open_in above.

An alias for Scanf.Scanning.open_in_bin above.

from_fun f is the same as lazy (f ()) but slightly more efficient.

Scanning.from_function f returns a Scanf.Scanning.in_channel formatted input channel with the given function as its reading method.

Create a lexer buffer with the given function as its reading method.

Convert a hexadecimal representation back into the corresponding digest.

Scanning.from_string s returns a Scanf.Scanning.in_channel formatted input channel which reads from the given string.

Same as from_bytes but take a string as argument instead of a byte sequence.

Create a lexer buffer which reads from the given string.

from_val v returns an already-forced suspension of v.

Return the first component of a pair.

Same as Random.init but takes more data as seed.

Do a minor collection, finish the current major collection cycle, and perform a complete new cycle.

Same as Str.split_delim, but returns the delimiters as well as the substrings contained between delimiters.

Weak.get ar n returns None if the nth cell of ar is empty, Some x (where x is the value) if it is full.

String.get s n returns the character at index n in string s.

String.get s n returns the character at index n in string s.

Return the current values of the GC parameters in a control record.

get s n returns the byte at index n in argument s.

get s n returns the byte at index n in argument s.

Array.get a n returns the element number n of array a.

Array.get a n returns the element number n of array a.

Printexc.get_backtrace () returns a string containing the same exception backtrace that Printexc.print_backtrace would print.

get_bucket n returns the current size of the n-th future bucket of the GC smoothing system.

Printexc.get_callstack n returns a description of the top of the call stack on the current program point (for the current thread), with at most n entries.

Weak.get_copy ar n returns None if the nth cell of ar is empty, Some x (where x is a (shallow) copy of the value) if it is full.

get_credit () returns the current size of the "work done in advance" counter of the GC smoothing system.

Same as Ephemeron.K1.get_data

Same as Ephemeron.K1.get_data

Same as Ephemeron.K1.get_data

Ephemeron.K1.get_data eph returns None if the data of eph is empty, Some x (where x is the data) if it is full.

Same as Ephemeron.K1.get_data_copy

Same as Ephemeron.K1.get_data_copy

Same as Ephemeron.K1.get_data_copy

Ephemeron.K1.get_data_copy eph returns None if the data of eph is empty, Some x (where x is a (shallow) copy of the data) if it is full.

Return the text of the ellipsis.

Return the current output functions of the pretty-printer, including line splitting and indentation functions.

Return the current output functions of the standard pretty-printer.

Return the current semantic tag operation functions of the standard pretty-printer.

Capture the contents of a rectangle on the screen as an image.

Same as Ephemeron.K1.get_key

Same as Ephemeron.K1.get_key

Ephemeron.K1.get_key eph returns None if the key of eph is empty, Some x (where x is the key) if it is full.

Same as Ephemeron.K1.get_key

Same as Ephemeron.K1.get_key_copy

Same as Ephemeron.K1.get_key

Same as Ephemeron.K1.get_key_copy

Same as Ephemeron.K1.get_key_copy

Same as Ephemeron.K1.get_key_copy

Ephemeron.K1.get_key_copy eph returns None if the key of eph is empty, Some x (where x is a (shallow) copy of the key) if it is full.

Returns the position of the right margin.

Return the current status of tag-marking operations.

Returns the maximum number of pretty-printing boxes allowed before ellipsis.

Return the maximum indentation limit (in characters).

Return the current size of the free space inside the minor heap.

Return the current status of tag-printing operations.

Printexc.get_raw_backtrace () returns the same exception backtrace that Printexc.print_backtrace would print, but in a raw format.

get_raw_backtrace_next_slot slot returns the next slot inlined, if any.

get_raw_backtrace_slot bckt pos returns the slot in position pos in the backtrace bckt.

Return the current state of the generator used by the basic functions.

get_symbolic_output_buffer sob returns the contents of buffer sob.

The name of the temporary directory: Under Unix, the value of the TMPDIR environment variable, or "/tmp" if the variable is not set.

Return the current working directory of the process.

Return the value associated to a variable in the process environment.

Return the value associated to a variable in the process environment or None if the variable is unbound.

global_replace regexp templ s returns a string identical to s, except that all substrings of s that match regexp have been replaced by templ.

global_substitute regexp subst s returns a string identical to s, except that all substrings of s that match regexp have been replaced by the result of function subst.

group_beginning n returns the position of the first character of the substring that was matched by the nth group of the regular expression that was matched by the last call to a matching or searching function (see Str.matched_string for details).

group_end n returns the position of the character following the last character of substring that was matched by the nth group of the regular expression that was matched by the last call to a matching or searching function (see Str.matched_string for details).

guard fn returns the event that, when synchronized, computes fn() and behaves as the resulting event.

hash u associates a non-negative integer to u.

A seeded hashing function on keys.

A hashing function on keys.

Hashtbl.hash x associates a nonnegative integer to any value of any type.

Hashtbl.hash_param meaningful total x computes a hash value for x, with the same properties as for hash.

Return the first element of the given list.

Return the first element of the given list.

The bytes representing a marshaled value are composed of a fixed-size header and a variable-sized data part, whose size can be determined from the header.

Return the number of times we tried to map huge pages and had to fall back to small pages.

hypot x y returns sqrt(x *. x + y *. y), that is, the length of the hypotenuse of a right-angled triangle with sides of length x and y, or, equivalently, the distance of the point (x,y) to origin.

The complex number i.

Return an integer identifying this object, unique for the current execution of the program.

Same as Printf.fprintf, but does not print anything.

Same as fprintf above, but does not print anything.

Discard the value of its argument and return ().

Same as kfprintf above, but does not print anything.

Same as kfprintf above, but does not print anything.

Return the size (number of characters) of the regular file on which the given channel is opened.

Increment the integer contained in the given reference.

String.index s c returns the index of the first occurrence of character c in string s.

String.index s c returns the index of the first occurrence of character c in string s.

index s c returns the index of the first occurrence of byte c in s.

index s c returns the index of the first occurrence of byte c in s.

String.index_from s i c returns the index of the first occurrence of character c in string s after position i.

String.index_from s i c returns the index of the first occurrence of character c in string s after position i.

index_from s i c returns the index of the first occurrence of byte c in s after position i.

index_from s i c returns the index of the first occurrence of byte c in s after position i.

String.index_from_opt s i c returns the index of the first occurrence of character c in string s after position i or None if c does not occur in s after position i.

String.index_from_opt s i c returns the index of the first occurrence of character c in string s after position i or None if c does not occur in s after position i.

index_from _opts i c returns the index of the first occurrence of byte c in s after position i or None if c does not occur in s after position i.

index_from _opts i c returns the index of the first occurrence of byte c in s after position i or None if c does not occur in s after position i.

String.index_opt s c returns the index of the first occurrence of character c in string s, or None if c does not occur in s.

String.index_opt s c returns the index of the first occurrence of character c in string s, or None if c does not occur in s.

index_opt s c returns the index of the first occurrence of byte c in s or None if c does not occur in s.

index_opt s c returns the index of the first occurrence of byte c in s or None if c does not occur in s.

Positive infinity.

init n f returns a string of length n, with character i initialized to the result of f i.

String.init n f returns a string of length n, with character i initialized to the result of f i (called in increasing index order).

Initialize the generator, using the argument as a seed.

List.init len f is f 0; f 1; ...; f (len-1), evaluated left to right.

List.init len f is f 0; f 1; ...; f (len-1), evaluated left to right.

init n f returns a fresh byte sequence of length n, with character i initialized to the result of f i.

Bytes.init n f returns a fresh byte sequence of length n, with character i initialized to the result of f i (in increasing index order).

Array.init n f returns a fresh array of length n, with element number i initialized to the result of f i.

Array.init n f returns a fresh array of length n, with element number i initialized to the result of f i.

input ic buf pos len reads up to len characters from the given channel ic, storing them in byte sequence buf, starting at character number pos.

Read a digest from the given input channel.

Read an integer encoded in binary format (4 bytes, big-endian) from the given input channel.

Same as Pervasives.input_char, but return the 8-bit integer representing the character.

Read one character from the given input channel.

Read characters from the given input channel, until a newline character is encountered.

Read the representation of a structured value, as produced by Pervasives.output_value, and return the corresponding value.

Random.int bound returns a random integer between 0 (inclusive) and bound (exclusive).

Random.int32 bound returns a random integer between 0 (inclusive) and bound (exclusive).

Random.int64 bound returns a random integer between 0 (inclusive) and bound (exclusive).

Return the ASCII code of the argument.

Truncate the given floating-point number to an integer.

Convert the given string to an integer.

Same as int_of_string, but returns None instead of raising.

Size of an int.

Set intersection.

This reference is initially set to false in standalone programs and to true if the code is being executed under the interactive toplevel system ocaml.

Multiplicative inverse (1/z).

Raise exception Invalid_argument with the given string.

is_char u is true iff u is a latin1 OCaml character.

Returns true if the given name refers to a directory, false if it refers to another kind of file.

Return true if the given stack is empty, false otherwise.

Test whether a set is empty or not.

Return true if the given queue is empty, false otherwise.

Test whether a map is empty or not.

Return true if the file name is relative and does not start with an explicit reference to the current directory (./ or ../ in Unix), false if it starts with an explicit reference to the root directory or the current directory.

is_inline slot is true when slot refers to a call that got inlined by the compiler, and false when it comes from any other context.

true if the program is native, false if the program is bytecode.

is_raise slot is true when slot refers to a raising point in the code, and false when it comes from a simple function call.

return if the tables are currently created in randomized mode by default

Return true if the file name is relative to the current directory, false if it is absolute (i.e.

is_val x returns true if x has already been forced and did not raise an exception.

is_valid n is true iff n is an Unicode scalar value (i.e.

iter f t calls f on each element of t, in some unspecified order.

String.iter f s applies function f in turn to all the characters of s.

String.iter f s applies function f in turn to all the characters of s.

Stream.iter f s scans the whole stream s, applying function f in turn to each stream element encountered.

iter f s applies f in turn to all elements of s, from the element at the top of the stack to the element at the bottom of the stack.

iter f s applies f in turn to all elements of s.

iter f q applies f in turn to all elements of q, from the least recently entered to the most recently entered.

iter f m applies f to all bindings in map m.

List.iter f [a1; ...; an] applies function f in turn to a1; ...; an.

List.iter f [a1; ...; an] applies function f in turn to a1; ...; an.

Hashtbl.iter f tbl applies f to all bindings in table tbl.

iter f s applies function f in turn to all the bytes of s.

iter f s applies function f in turn to all the bytes of s.

Array.iter f a applies function f in turn to all the elements of a.

Array.iter f a applies function f in turn to all the elements of a.

List.iter2 f [a1; ...; an] [b1; ...; bn] calls in turn f a1 b1; ...; f an bn.

List.iter2 f [a1; ...; an] [b1; ...; bn] calls in turn f a1 b1; ...; f an bn.

Array.iter2 f a b applies function f to all the elements of a and b.

Array.iter2 f a b applies function f to all the elements of a and b.

Same as String.iter, but the function is applied to the index of the element as first argument (counting from 0), and the character itself as second argument.

Same as String.iter, but the function is applied to the index of the element as first argument (counting from 0), and the character itself as second argument.

Same as List.iter, but the function is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.

Same as List.iter, but the function is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.

Same as Bytes.iter, but the function is applied to the index of the byte as first argument and the byte itself as second argument.

Same as Bytes.iter, but the function is applied to the index of the byte as first argument and the byte itself as second argument.

Same as Array.iter, but the function is applied to the index of the element as first argument, and the element itself as second argument.

Same as Array.iter, but the function is applied with the index of the element as first argument, and the element itself as second argument.

Remove the first element of the stream, possibly unfreezing it before.

Same as asprintf above, but instead of returning the string, passes it to the first argument.

Same as bprintf, but instead of returning immediately, passes the buffer to its first argument at the end of printing.

Return true if a keypress is available; that is, if read_key would not block.

Same as fprintf, but instead of returning immediately, passes the out channel to its first argument at the end of printing.

Same as fprintf above, but instead of returning immediately, passes the formatter to its first argument at the end of printing.

A deprecated synonym for ksprintf.

Same as Scanf.bscanf, but takes an additional function argument ef that is called in case of error: if the scanning process or some conversion fails, the scanning function aborts and calls the error handling function ef with the formatted input channel and the exception that aborted the scanning process as arguments.

Same as sprintf above, but instead of returning the string, passes it to the first argument.

Same as sprintf above, but instead of returning the string, passes it to the first argument.

Same as Scanf.kscanf but reads from the given string.

last_chars s n returns the last n characters of s.

ldexp x n returns x *. 2 ** n.

Weak.length ar returns the length (number of elements) of ar.

Return the length (number of characters) of the given string.

Return the length (number of characters) of the given string.

Return the number of elements in a stack.

Return the number of elements in a queue.

return the number of keys

Return the length (number of elements) of the given list.

Return the length (number of elements) of the given list.

Hashtbl.length tbl returns the number of bindings in tbl.

Return the length (number of bytes) of the argument.

Return the length (number of bytes) of the argument.

Return the number of characters currently contained in the buffer.

Return the length (number of elements) of the given array.

Return the length (number of elements) of the given array.

Lexing.lexeme lexbuf returns the string matched by the regular expression.

Lexing.lexeme_char lexbuf i returns character number i in the matched string.

Lexing.lexeme_end lexbuf returns the offset in the input stream of the character following the last character of the matched string.

Like lexeme_end, but return a complete position instead of an offset.

Lexing.lexeme_start lexbuf returns the offset in the input stream of the first character of the matched string.

Like lexeme_start, but return a complete position instead of an offset.

Draw a line with endpoints the current point and the given point, and move the current point to the given point.

Sort a list in increasing order according to an ordering predicate.

Bitwise logical negation.

In bytecode: load the given bytecode object file (.cmo file) or bytecode library file (.cma file), and link it with the running program.

Same as loadfile, except that the compilation units just loaded are hidden (cannot be referenced) from other modules dynamically loaded afterwards.

location slot returns the location information of the slot, if available, and None otherwise.

Lock the given mutex.

Natural logarithm.

Natural logarithm (in base e).

Base 10 logarithm.

log1p x computes log(1.0 +. x) (natural logarithm), giving numerically-accurate results even if x is close to 0.0.

Bitwise logical and.

Bitwise logical and.

Bitwise logical and.

Bitwise logical negation.

Bitwise logical negation.

Bitwise logical negation.

Bitwise logical or.

Bitwise logical or.

Bitwise logical or.

Bitwise logical exclusive or.

Bitwise logical exclusive or.

Bitwise logical exclusive or.

Loop before exiting the program, the list given as argument is the list of handlers and the events on which these handlers are called.

Return a copy of the argument, with all uppercase letters translated to lowercase, using the US-ASCII character set.

Return a copy of the argument, with all uppercase letters translated to lowercase, using the US-ASCII character set.

Convert the given character to its equivalent lowercase character, using the US-ASCII character set.

Return a copy of the argument, with all uppercase letters translated to lowercase, using the US-ASCII character set.

Return a copy of the argument, with all uppercase letters translated to lowercase, using the US-ASCII character set.

Do a minor collection and finish the current major collection cycle.

major_slice n Do a minor collection and a slice of major collection.

String.make n c returns a fresh string of length n, filled with the character c.

String.make n c returns a fresh string of length n, filled with the character c.

Create a new state and initialize it with the given seed.

make n c returns a new byte sequence of length n, filled with the byte c.

make n c returns a new byte sequence of length n, filled with the byte c.

Array.make n x returns a fresh array of length n, initialized with x.

Array.make n x returns a fresh array of length n, initialized with x.

make_formatter out flush returns a new formatter that outputs with function out, and flushes with function flush.

Convert the given color matrix to an image.

Construct the lexer function.

Array.make_matrix dimx dimy e returns a two-dimensional array (an array of arrays) with first dimension dimx and second dimension dimy.

Array.make_matrix dimx dimy e returns a two-dimensional array (an array of arrays) with first dimension dimx and second dimension dimy.

Create a new state and initialize it with a system-dependent low-entropy seed.

make_symbolic_output_buffer () returns a fresh buffer for symbolic output.

String.map f s applies function f in turn to all the characters of s and stores the results in a new string that is returned.

String.map f s applies function f in turn to all the characters of s (in increasing index order) and stores the results in a new string that is returned.

map f s is the set whose elements are f a0,f a1...

map f m returns a map with same domain as m, where the associated value a of all bindings of m has been replaced by the result of the application of f to a.

List.map f [a1; ...; an] applies function f to a1, ..., an, and builds the list [f a1; ...; f an] with the results returned by f.

List.map f [a1; ...; an] applies function f to a1, ..., an, and builds the list [f a1; ...; f an] with the results returned by f.

map f s applies function f in turn to all the bytes of s and stores the resulting bytes in a new sequence that is returned as the result.

map f s applies function f in turn to all the bytes of s (in increasing index order) and stores the resulting bytes in a new sequence that is returned as the result.

Array.map f a applies function f to all the elements of a, and builds an array with the results returned by f: [| f a.(0); f a.(1); ...; f a.(Array.length a - 1) |].

Array.map f a applies function f to all the elements of a, and builds an array with the results returned by f: [| f a.(0); f a.(1); ...; f a.(Array.length a - 1) |].

List.map2 f [a1; ...; an] [b1; ...; bn] is [f a1 b1; ...; f an bn].

List.map2 f [a1; ...; an] [b1; ...; bn] is [f a1 b1; ...; f an bn].

Array.map2 f a b applies function f to all the elements of a and b, and builds an array with the results returned by f: [| f a.(0) b.(0); ...; f a.(Array.length a - 1) b.(Array.length b - 1)|].

Array.map2 f a b applies function f to all the elements of a and b, and builds an array with the results returned by f: [| f a.(0) b.(0); ...; f a.(Array.length a - 1) b.(Array.length b - 1)|].

String.mapi f s calls f with each character of s and its index (in increasing index order) and stores the results in a new string that is returned.

String.mapi f s calls f with each character of s and its index (in increasing index order) and stores the results in a new string that is returned.

Same as Map.S.map, but the function receives as arguments both the key and the associated value for each binding of the map.

Same as List.map, but the function is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.

Same as List.map, but the function is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.

mapi f s calls f with each character of s and its index (in increasing index order) and stores the resulting bytes in a new sequence that is returned as the result.

mapi f s calls f with each character of s and its index (in increasing index order) and stores the resulting bytes in a new sequence that is returned as the result.

Same as Array.map, but the function is applied to the index of the element as first argument, and the element itself as second argument.

Same as Array.map, but the function is applied to the index of the element as first argument, and the element itself as second argument.

match_beginning() returns the position of the first character of the substring that was matched by the last call to a matching or searching function (see Str.matched_string for details).

match_end() returns the position of the character following the last character of the substring that was matched by the last call to a matching or searching function (see Str.matched_string for details).

matched_group n s returns the substring of s that was matched by the nth group \(...\) of the regular expression that was matched by the last call to a matching or searching function (see Str.matched_string for details).

matched_string s returns the substring of s that was matched by the last call to one of the following matching or searching functions: Str.string_match, Str.search_forward, Str.search_backward, Str.string_partial_match, Str.global_substitute, Str.substitute_first provided that none of the following functions was called inbetween: Str.global_replace, Str.replace_first, Str.split, Str.bounded_split, Str.split_delim, Str.bounded_split_delim, Str.full_split, Str.bounded_full_split Note: in the case of global_substitute and substitute_first, a call to matched_string is only valid within the subst argument, not after global_substitute or substitute_first returns.

max is U+10FFFF.

Return the greater of the two arguments.

Maximum length of a normal array.

Same as Map.S.min_binding, but returns the largest binding of the given map.

Same as Map.S.min_binding_opt, but returns the largest binding of the given map.

Same as Set.S.min_elt, but returns the largest element of the given set.

Same as Set.S.min_elt_opt, but returns the largest element of the given set.

The largest positive finite value of type float.

The greatest representable integer.

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

The greatest representable 64-bit integer, 2⁶³ - 1.

The greatest representable 32-bit integer, 2³¹ - 1.

Maximum length of strings and byte sequences.

mem t x returns true if there is at least one instance of x in t, false otherwise.

mem x s tests whether x belongs to the set s.

mem x m returns true if m contains a binding for x, and false otherwise.

mem a l is true if and only if a is equal to an element of l.

mem a l is true if and only if a is equal to an element of l.

Hashtbl.mem tbl x checks if x is bound in tbl.

mem x a is true if and only if x is equal to an element of a.

mem a l is true if and only if a is equal to an element of l.

Same as List.assoc, but simply return true if a binding exists, and false if no bindings exist for the given key.

Same as List.assoc, but simply return true if a binding exists, and false if no bindings exist for the given key.

Same as List.mem_assoc, but uses physical equality instead of structural equality to compare keys.

Same as List.mem_assoc, but uses physical equality instead of structural equality to compare keys.