Index of values

Multiplication.

Multiplication.

a ** b computes a^b

a ** b computes a^b

As zero_plus without arguments.

Prefix operator that converts primitive string to ustring.

!r returns the current contents of reference r.

Function composition: the mathematical o operator.

Piping function composition.

The boolean ``and''.

Addition.

Addition.

Subtraction.

Subtraction.

Enumerate numbers.

Enumerate an interval.

Enumerate an interval.

Enumerate an interval.

Enumerate an interval.

As range, without the label.

Produce the enumeration of a segment of characters.

As --, but accepts enumerations in reverse order.

Enumerate an interval.

Enumerate an interval.

Enumerate an interval.

Enumerate an interval.

As --, but accepts enumerations in reverse order.

(a, step) --. b) creates a float enumeration from a to b with an increment of step between elements.

(a, step) --. b) creates a float enumeration from a to b with an increment of step between elements.

map-->key returns the current binding of key in map.

map-->key returns the current binding of key in map.

map-->key returns the current binding of key in map, or raises Not_found.

Map find and insert from Infix

map --> key returns the current binding of key in map, or raises Not_found.

map-->key returns the current binding of key in map, or raises Not_found.

Map find and insert from Infix

map-->key returns the current binding of key in map, or

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

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

Enumerate numbers, without the right endpoint

As (--) but without the right endpoint

As ( -- ), but for characters.

As ( -- ), but for characters.

Integer division.

Integer division.

Filtering (pronounce this operator name "such that").

Filtering (pronounce this operator name "such that").

basepath//@relpath catenates two paths.

path/:name is a path of name located in a directory path.

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

Comparison: a < b is true if and only if a is strictly smaller than b.

map<--(key, value) returns a map containing the same bindings as map, plus a binding of key to value.

map<--(key, value) returns a map containing the same bindings as map, plus a binding of key to value.

map <-- (key, value) returns a map containing the same bindings as map, plus a binding of key to value.

map <-- (key, value) returns a map containing the same bindings as map, plus a binding of key to value.

map <-- (key, value) returns a map containing the same bindings as map, plus a binding of key to value.

map<--(key, value) returns a map containing the same bindings as map, plus a binding of key to value.

tbl<--(x, y) adds a binding of x to y in table tbl.

tbl<--(x, y) adds a binding of x to y in table tbl.

Comparison: a <= b is true if and only if a is smaller or equalto b.

Comparison: a <> b is true if and only if a and b have different values.

Accept one of two parsers

Comparison: a = b if and only if a and b have the same value.

Approximate comparison of two floats, as approx_equal.

Comparison: a > b is true if and only if a is strictly greater than b.

As cons

Comparison: a >= b is true if and only if a is greater or equal to b.

as bind

As bind

as Monad.bind

As bind, but ignoring the result

List concatenation.

Tail recursive List.append.

Mapping operators.

Mapping operators.

Map combined with filter.

Map combined with filter.

As cons: x^:^l is the lazy list with head x and tail l

As lazy append

p ^^ n is the same thing as times n p

As BatText.append

The "pipe": function application.

Like BatOption.default, with the arguments reversed.

Like BatOption.default, with the arguments reversed.

Like BatOption.default, with the arguments reversed.

The boolean ``or''.

As one_plus

As maybe

Return the absolute value of its argument.

Return the absolute value of its argument.

Return the absolute value of its argument.

Return the absolute value of its argument.

Return the absolute value of its argument, except when the argument is min_num.

The absolute value of a floating point number.

The absolute value of a floating point number.

abs c returns the module of this complex number, i.e.

Absolute value.

Accept connections on the given socket.

Check that the process has the given permissions over the named file.

See BatFloat.Safe_float.atan2.

See BatFloat.atan2.

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

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

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

Adds an element at the end - O(n)

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

Add an option to the option parser.

Addition.

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

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

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

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

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

Addition.

Addition.

Addition.

Addition.

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

Add the given int to the set, returning a new set

add x y t adds a binding from x to y in t, returning a new map.

See BatHeap.insert.

add x h is the same as insert h x.

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

add darr v appends v onto the end of darr.

add n a Creates a new node containing data a and inserts it into the list after node n.

Addition

add n s returns a copy of s with bit n true.

Addition.

add_buffer b1 b2 adds the contents of b2 to b1.

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

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

add_carry k v m adds the binding (k, v) to m, returning the new map and optionally the previous value bound to k.

add_carry k v m adds the binding (k, v) to m, returning the new map and optionally the previous value bound to k.

Add one Unicode character to the buffer.

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

Add a group to the option parser.

add_input b ic n reads exactly n character from the input ic and stores them at the end of buffer b.

add_int16_be b i appends a binary big-endian signed 16-bit integer i to b.

add_int16_le b i appends a binary little-endian signed 16-bit integer i to b.

add_int16_ne b i appends a binary native-endian signed 16-bit integer i to b.

add_int32_be b i appends a binary big-endian 32-bit integer i to b.

add_int32_le b i appends a binary little-endian 32-bit integer i to b.

add_int32_ne b i appends a binary native-endian 32-bit integer i to b.

add_int64_be b i appends a binary big-endian 64-bit integer i to b.

add_int64_ne b i appends a binary little-endian 64-bit integer i to b.

add_int64_ne b i appends a binary native-endian 64-bit integer i to b.

add_int8 b i appends a binary signed 8-bit integer i to b.

Addition of a small integer to a big integer.

add_range lo hi t adds the range of integers lo, hi (including both endpoints) to the given set, returning a new set

add_range lo hi y t adds bindings to y for all values in the range lo,hi, returning a new map

add the given elements to the set, in order.

add the given elements to the set, in order.

add the given elements to the set, in order.

Add the elements from the generator to the end of the queue

add the given bindings to the map, in order.

add the given bindings to the map, in order.

add the given bindings to the map, in order.

Add chars to the buffer

Adds an element in a sorted list, using the given comparator.

Add the UTF-8 string to the buffer.

add_string b s appends the string s at the end of the 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 the buffer b.

add_substitute b f s appends the string pattern s at the end of the 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 the buffer b.

add_uint16_be b i appends a binary big-endian unsigned 16-bit integer i to b.

add_uint16_le b i appends a binary little-endian unsigned 16-bit integer i to b.

add_uint16_ne b i appends a binary native-endian unsigned 16-bit integer i to b.

add_uint8 b i appends a binary unsigned 8-bit integer i to b.

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.

Advance by one char.

after x t returns the portion of t in the range x+1, max_int

Return the sub-map of bindings in the range x+1,max_int

Schedule a SIGALRM signal after the given number of seconds.

all s is the substring (s, 0, size s).

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

Bitwise logical ``and''.

Return one element of the given set.

Return one element of the given set.

Return one element of the given set.

Accept any singleton value.

Return one binding of the given map.

Return one binding of the given map.

Return one binding of the given map.

any_option ?default ?metavar coerce returns an option which takes a single argument from the command line and calls coerce to coerce it to the proper type.

apnd fla flb equals [<fla;flb>].

append c r returns a new vect with the c element at the end in amortized O(1) time.

append c r returns a new vect with the c element at the end in amortized O(1) time.

append r u concatenates the r and u ropes.

append s1 s2 returns the sequence which first returns all elements of s1 then all elements of s2.

Alternative name for BatPathGen.PathType.Operators.(/:)

append l1 l2 is a concatenation of l1 and l2.

Lazy append

append is equivalent to List.append.

append e1 e2 returns an enumeration that will enumerate over all elements of e1 followed by all elements of e2.

append src dst adds all elements of src to the end of dst.

append n a Creates a new node containing data a and inserts it into the list after node n.

append dq1 dq2 represents the concatenateion of dq1 and dq2.

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

append_char c r returns a new rope with the c character at the end in amortized O(1) time.

append_list dq l is equivalent to append dq (of_list l), but more efficient.

apply None x returns x and apply (Some f) x returns f x

approx n return the integer closest to n

Test whether two floats are approximately equal (i.e.

Approximate a number by a decimal.

See Num.approx_num_exp.

Argument.

arg_min f xs returns the x in xs for which f x is minimum.

An enumeration of the arguments passed to this program through the command line.

The command line arguments given to the process.

Return the zero-dimensional big array corresponding to the given generic big array.

Return the one-dimensional big array corresponding to the given generic big array.

Return the two-dimensional big array corresponding to the given generic big array.

Return the three-dimensional big array corresponding to the given generic big array.

See BatFloat.Safe_float.atan2.

See BatFloat.atan2.

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

assoc a s returns the value associated with key a in the sequence of pairs s.

assoc a l returns Some b where b is the value associated with key b in the list of pairs l.

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

assoc a l returns Some b where b is 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_inv b l returns Some a where a is the key associated with value b in the list of pairs l.

assoc_inv b l returns the key associated with value b in the list of pairs l.

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

As BatList.Exceptionless.assoc but with physical equality.

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

As BatLazyList.Exceptionless.assoc but with physical equality

As BatLazyList.assoc but with physical equality

Same as List.assoc_inv, 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.

as get

as get

at l n returns the element at index n (starting from 0) in the sequence l or raise Invalid_argument is the index is outside of l bounds.

If n is inside the bounds of l, at l n returns Ok x, where x is the n-th element of the list l.

at l n returns the n-th element of the list l or

If n is inside the bounds of l, at l n returns `Ok x, where x is the n-th element of the list l.

at l n returns the element at index n (starting from 0) in the list l.

at ~backwards dq k returns the kth element of dq, from the front if backwards is false, and from the rear if backwards is true.

Return the element of ref list at the specified index raise Invalid_index if the index is outside 0 ; length-1

at_opt returns the n-th element of the list l or None if the index is beyond the length of l.

at_rank_exn i s returns element at rank i in s, that is the i-th element in increasing order (the 0-th element being the smallest element of s).

at_rank_exn i s returns element at rank i in s, that is the i-th element in increasing order (the 0-th element being the smallest element of s).

at_rank_exn i s returns element at rank i in s, that is the i-th element in increasing order (the 0-th element being the smallest element of s).

at_rank_exn i m returns the (key,value) pair whose key is at rank i in m, that is the i-th element in increasing order of the keys (the 0-th element being the smallest key in m with its associated value).

at_rank_exn i m returns the (key,value) pair whose key is at rank i in m, that is the i-th element in increasing order of the keys (the 0-th element being the smallest key in m with its associated value).

See BatFloat.Safe_float.atan2.

See BatFloat.atan2.

The usual trigonometric functions.

The usual trigonometric functions.

avg l returns the average of l

avg l returns the average of l

Backend type currently executing the OCaml program.

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.

Returns an enumeration of the elements of a vector, from last to first.

Returns an enumeration of the elements of a vector, from last to first.

enumerates the rope's characters, in reverse order

Returns an enumeration of the characters of a string, from last to first.

Return an enumeration of all elements of the given set.

Return an enumeration of all elements of the given set.

Returns an enumeration of current elements in the ref list, going from last to first

Creates an enumeration for this map, enumerating (key, value) pairs with the keys in decreasing order.

Return an enumeration of (key, value) pairs of a map.

Creates an enumeration for this map, enumerating (key, value) pairs with the keys in decreasing order.

Returns an enumeration of the elements of a list.

backwards t builds an enumeration of the elements of t going from right to left.

backwards t is similar to rev_enum t except that the enumeration starts at the node before the current one:

Returns an enumeration of the elements of an array, from last to first.

balance r returns a balanced copy of the r vect.

balance r returns a balanced copy of the r vect.

balance r returns a balanced copy of the r rope.

base sus is the concrete triple (s, i, n), where psus = (s, i,
    n).

base_of_t x converts a value of type BatBounded.BoundedType.t back to a BatBounded.BoundedType.base_t if possible.

base_of_t_exn x converts a value of type BatBounded.BoundedType.t back to a BatBounded.BoundedType.base_t.

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

before x t returns the portion of t in the range min_int, x-1

Return the sub-map of bindings in the range min_int, x-1

Scanning.beginning_of_input ib tests the beginning of input condition of the given scanning buffer.

belongs base sub is true when sub descends from base, i.e.

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

Default vector of symbols used by to_string_in_base and its fixed-base derivatives to_string_in_binary, to_string_in_octal and to_string_in_hexa to represent digits.

Convert a small integer to a big integer.

Convert a 32-bit integer to a big integer.

Convert a 64-bit integer to a big integer.

Convert a native integer to a big integer.

Convert a string to a big integer, in decimal.

Convert a string to a big integer, in decimal.

binary lifting of the comparison function, using lexicographic order: bin_ord ord1 v1 v1' ord2 v2 v2' is ord2 v2 v2' if ord1 v1 v1' = Eq, and ord1 v1 v1' otherwise.

Bind a socket to an address.

Monadic composition.

bind r f is f v if r is Ok v and r if r is Error _.

Monadic-style combination:

bind m f combines the calculation result m with the function f.

bind (Some x) f returns f x and bind None f returns None.

Monadic binding.

bind m f takes the result of the monadic computation m, puts the f function in the monadic context passing it the result of m and then returning a monadic result.

Return the list of all bindings of the given map.

Return the list of all bindings of the given map.

Return the list of all bindings of the given map.

Alias for to_list.

Return 30 random bits in a nonnegative integer.

Read an enumeration of bits

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.

blit src srcoff dst dstoff len returns a copy of dst in which len characters have been copied from rope src, starting at character number srcoff, to rope dst, starting at character number dstoff.

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

blit src srcidx dst dstidx len copies len elements from src starting with index srcidx to dst starting at dstidx.

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 string dst, starting at character dstoff.

Copy the first big array to the second big array.

Copy the first big array to the second big array.

Copy the first big array to the second big array.

Copy the first big array to the second big array.

Copy all elements of a big array in another big array.

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.

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

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

bounded ~bounds x returns a bounded BatBounded.BoundedType.t value derived from x.

bounding_of_ord ~default_low ~default_high conv ord will returning a bounding function using ord for value comparison and default_low and default_high for values which fall outside of the requested range.

bounding_of_ord_chain ?low ?high ord is like BatBounded.bounding_of_ord except that functions are used to handle out of range values rather than single default values.

bounds defines the (min, max) bounds for the bounded range

bounds defines the (min, max) bounds for the bounded range

As BatPrintf.fprintf, but with buffers instead of outputs.

A deprecated and error prone function.

As BatPrintf.printf but writes to a buffer instead of printing to the output.

Negated span.

bscanf ib fmt r1 ... rN f reads arguments for the function f, from the scanning buffer ib, according to the format string fmt, and applies f to these values.

bscanf_format ib fmt f reads a format string token from the scanning buffer ib, according to the given format string fmt, and applies f to the resulting format string value.

bsearch cmp arr x finds the index of the object x in the array arr, provided arr is sorted using cmp.

Return the digest of the given byte sequence.

Read an enumeration of unsigned 8-bit integers.

Make a callback option which takes a single argument.

Internals

Return a copy of the argument, with the first character set to uppercase.

Return a copy of the argument, with the first byte set to uppercase.

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 elements of a set.

Return the number of elements of a set.

Return the number of bindings of a map.

Return the number of bindings of a map.

Return the number of bindings of a map.

Returns the number of elements in the set

cartesian product of the two sets

cartesian product of the two sets

Different from List.combine, this returns every pair of elements formed out of the two lists.

cartesian_product e1 e2 computes the cartesian product of e1 and e2.

Cartesian product of the two arrays.

Cartesian product of the two arrays.

As char, but case-insensitive

true if the language is case-sensitive, false otherwise.

As case_string, but case-insensitive

You can safely transform any output to an unit output in a safe way by using this function.

You can safely transform any output to an unit output in a safe way by using this function.

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

Execute a function and catch any exception as a result.

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

As catch but two parameters.

As catch but three parameters.

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

See BatFloat.Safe_float.floor.

See BatFloat.floor.

Array3.change_layout a layout returns a bigarray with the specified layout, sharing the data with a (and hence having the same dimensions as a).

Array2.change_layout a layout returns a bigarray with the specified layout, sharing the data with a (and hence having the same dimensions as a).

Array1.change_layout a layout returns a bigarray with the specified layout, sharing the data with a (and hence having the same dimension as a).

Array0.change_layout a layout returns a big array with the specified layout, sharing the data with a.

Genarray.change_layout a layout returns a bigarray with the specified layout, sharing the data with a (and hence having the same dimensions as a).

If len is nonnegative, Digest.channel ic len reads len characters from channel ic and returns their digest, or

Return a random Latin-1 character.

Low-level API

Recognize exactly one char

As shown by the types of the values above, big arrays of kind float32_elt and float64_elt are accessed using the OCaml type float.

Accepts a character literal, i.e.

char_of u returns the Latin-1 representation of u.

offer the characters of an UTF-8 encoded input as an enumeration

Read an enumeration of Latin-1 characters.

Change the process working directory.

Change the current working directory of the process.

Check that the tree is balanced according to the AVL tree rules.

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

Change the permissions of the named file.

As BatFile.set_permissions

choice e returns a randomly-chosen element of e.

returns an arbitrary (but deterministic) element of the given set.

Return one element of the given set.

returns an arbitrary (but deterministic) element of the given set.

Return one binding of the given map.

Return one binding of the given map.

Return one binding of the given map.

Returns some element in the set

Return Some e for one element e of the given set.

Return Some e for one element e of the given set.

Return Some e for one element e of the given set.

Return Some (k, v) for one binding (k, v) of the given map, if the map is not empty.

Return Some (k, v) for one binding (k, v) of the given map, if the map is not empty.

Return Some (k, v) for one binding (k, v) of the given map, if the map is not empty.

Returns the same string but with the first l characters on the left and the first r characters on the right removed.

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.

chop_suffix_opt ~suffix filename removes the suffix from the filename if possible, or returns None if the filename does not end with the suffix.

Change the owner uid and owner gid of the named file.

chr n returns the Unicode character with the code number n.

Return the character with the given ASCII code.

Change the process root directory.

Read an input as an enumeration of strings of given length.

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

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

Empty the buffer, but retains the internal storage which was holding the contents

Discard all elements from a stack.

Removes all elements

Discard all elements from a queue.

Empty a hash table.

Empty a hash table.

clear tab removes all entries from the table tab.

remove all elements from the array and resize it to 0.

Empty the buffer.

Clear the ``close-on-exec'' flag on the given descriptor.

Clear the ``non-blocking'' flag on the given descriptor.

clone e creates a new enumeration that is copy of e.

Close a file descriptor.

Close all outputs.

Closes the most recently opened pretty-printing box.

Close the given channel.

Close the input.

Close the input.

Same as close_in, but ignore all errors.

Close the given channel, flushing all buffered write operations.

Close the output and return its accumulator data.

Close the output and return its accumulator data.

Same as close_out, but ignore all errors.

Close input/output opened by Unix.open_process, wait for the associated command to terminate, and return its termination status.

Close i/o opened by Unix.open_process_full, wait for the associated command to terminate, and return its termination status.

Close input opened by Unix.open_process_in, wait for the associated command to terminate, and return its termination status.

Close output opened by Unix.open_process_out, wait for the associated command to terminate, and return its termination status.

close_tag () closes the most recently opened tag t.

Closes the most recently opened tabulation box.

Close a directory descriptor.

clump size add get e runs add on size (or less at the end) elements of e and then runs get to produce value for the result enumeration.

code u returns the Unicode code number of u.

Return the ASCII code of the argument.

comb transform a pair of stream into a stream of pairs of corresponding elements.

combination n k returns an enumeration over combination of k elements between n distincts elements.

Transform a pair of sequences into a sequence of pairs.

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

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

combine (a,b) creates a new output c such that writing to c will actually write to both a and b

combine transform two streams into a stream of pairs of corresponding elements.

combine a b converts arrays [a0,...aN] [b0,...,bN] into an array of pairs [(a0,b0),...,(aN,bN)].

Execute the given shell command and return its exit code.

Returns an legacy comparison from a variant ordering

Perform a full major collection and compact the heap.

compact darr ensures that the space allocated by the array is minimal.

Compare two units.

Code point comparison by the lexicographic order.

compare u1 u2 returns, a value > 0 if u1 has a larger Unicode code number than u2, 0 if u1 and u2 are the same Unicode character, a value < 0 if u1 has a smaller Unicode code number than u2.

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

compare sus1 sus2 performs lexicographic comparison, using the standard ordering Char.compare on the characters.p Equivalent to, but more efficient than, String.compare (to_string sus1)
    (to_string sus2).

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

Total ordering between sets.

Total ordering between sets.

Total ordering between sets.

compare ~ok ~error r0 r1 totally orders r0 and r1 using ok and error to respectively compare values wrapped by Ok _  and Error _.

Given a comparison function, produce a comparison function for refs of that type.

Usual comparison function.

Compare two options, possibly using custom comparators for the value.

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

Total ordering between maps.

a comparison function between levels, to know whether logging at a particular level should be printed

A total ordering function This is a two-argument function f such that f e1 e2 is zero if the values e1 and e2 are equal, f e1 e2 is strictly negative if e1 is smaller than e2, and f e1 e2 is strictly positive if e1 is greater than e2.

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 integers, with the same specification as Pervasives.compare.

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

A total order on outputs

A total order on inputs

Compare two sets.

Comparison on the tags

compare cmp t1 t2 compares the two sequences lexicographically.

compare cmp a b compares enumerations a and b by lexicographical order using comparison cmp.

compare ~left ~right e0 e1 totally orders e0 and e1 using left and right to respectively compare values wrapped by Left _  and Right _.

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.

compare s1 s2 compares two bitsets using a lexicographic ordering.

compare c generates the lexicographical order on arrays induced by c.

compare_big_int a b returns 0 if a and b are equal, 1 if a is greater than b, and -1 if a is smaller than b.

compare_index s i1 i2 returns a value < 0 if i1 is the position located before i2, 0 if i1 and i2 points the same location, a value > 0 if i1 is the position located after i2.

Compare the length of a list to an integer.

Compare the lengths of two lists.

Partial ordering between sets as generated by subset

Create the complement of the given set - i.e.

See Bigarray.char.

See Bigarray.char.

Compose two lock systems into a third lock system.

concat r u concatenates the r and u vects.

concat r u concatenates the r and u vects.

concat sep sl concatenates the list of ropes sl, inserting the separator rope sep between each.

concat suss returns a string consisting of the concatenation of the substrings.

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

concatenate a stream of streams

concat s returns the sequence which returns all the elements of all the elements of s, in the same order.

concat e returns an enumeration over all elements of all enumerations of e.

Alternative name for BatPathGen.PathType.Operators.(//@)

Concatenate a list of lists.

Lazy concatenation of a lazy list of lazy lists

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

concat e returns an enumeration over all elements of all enumerations of e.

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.

Composition of BatStream.concat and BatStream.map.

List.concat_map f l gives the same result as List.concat (List.map f l).

Synonym of BatEnum.Monad.bind, with flipped arguments.

concat_with_separators sep lst catenates all n elements of lst inserting (n-1) copies of sep in between.

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

Connect a socket to an address.

cons x stream equals [<'x; stream>].

cons e s = fun () -> Cons(e, s)

cons p q applies parser p then parser q and conses the results into a list.

cons h t returns the list starting with h and continuing as t.

Build a list from a head and a tail.

cons t elt adds elt to the left of t.

cons x dq adds x to the front of dq.

conservative_exponential_resizer is an example resizer function which uses the oldlength parameter.

Ignore its second argument.

contains s c tests if character c appears in the rope s.

contains s c tests if character c appears in the substring 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_from s start c tests if character c appears in the subrope of s starting from start to the end of s.

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.

contents buf returns the contents of the buffer.

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.

Makes a copy of a ref list - O(1)

copy r returns a new reference with the same initial content as r.

Return a copy of the given state.

Return a copy of the given state.

Return a copy of the given queue.

Return a copy of the given hashtable.

Read everything from an input and copy it to an output.

Return a copy of the given hashtable.

copy a returns a fresh copy of a, such that no modification of a affects the copy, or vice versa (all new memory is allocated for the copy).

Copy the list attached to the given node and return the copy of the given node.

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

Copy a bitset : further modifications of first one will not affect the copy.

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

Makes a copy of a enum.

Makes a copy of a list - O(1)

copysign n o multiplies o by the "sign" of n, i.e.

copysign x y returns a copy of x with the same sign as y.

See BatFloat.Safe_float.atan2.

See BatFloat.atan2.

See BatFloat.Safe_float.tanh.

See BatFloat.tanh.

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

count tab returns a count of how many live objects are in tab.

count e returns the number of remaining elements in e without consuming the enumeration.

count s returns the number of bits set in the bitset s.

count_char str c returns the number of times c is used in str.

count_lines filename count the number of lines in given file.

count_matching p l returns the number of elements in l that satisfy p.

count_matching p a returns the number of elements of a satisfying predicate p.

Create a counting option which increments its value each time the option is encountered on the command line.

count_string s x count how many times x is found in s.

Return (minor_words, promoted_words, major_words).

create n creates the buffer with the initial size n-bytes.

String.create n returns a fresh string of length n.

Return a new stack, initially empty.

Creates a new empty set, using the provided function for key comparison.

Return a new mutex.

Return a new queue, initially empty.

create kcomp vcomp creates a new empty map, using kcomp for key comparison and vcomp for value comparison.

Creates a new empty map, using the provided function for key comparison.

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

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

create n creates a table with at least n cells.

create() returns a new empty dynamic array.

Creates a node.

Create a lock from a pair of locking/unlocking functions

create n returns a new byte sequence of length n.

create n returns a fresh buffer, initially empty.

Create an empty bitset with at least an initial capacity (in number of bits).

Array3.create kind layout dim1 dim2 dim3 returns a new bigarray of three dimension, whose size is dim1 in the first dimension, dim2 in the second dimension, and dim3 in the third.

Array2.create kind layout dim1 dim2 returns a new bigarray of two dimension, whose size is dim1 in the first dimension and dim2 in the second dimension.

Array1.create kind layout dim returns a new bigarray of one dimension, whose size is dim.

Array0.create kind layout returns a new bigarray of zero dimension.

Genarray.create kind layout dimensions returns a new big array whose element kind is determined by the parameter kind (one of float32, float64, int8_signed, etc) and whose layout is determined by the parameter layout (one of c_layout or fortran_layout).

create l v r is similar to make_tree l v r but performs no rebalancing; in other words, you should use this only when you know that l and r are already balanced.

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.

Create a full bitset with at least initial capacity (in number of bits).

Fully create an input by giving all the needed functions.

Fully create an input by giving all the needed functions.

Fully create an output by giving all the needed functions.

Fully create an output by giving all the needed functions.

create_process prog args new_stdin new_stdout new_stderr forks a new process that executes the program in file prog, with arguments args.

create_process_env prog args env new_stdin new_stdout new_stderr works as Unix.create_process, except that the extra argument env specifies the environment passed to the program.

create a new dynamic array that uses the given resizer.

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

Convert a function which accepts a pair of arguments into a function which accepts two arguments.

Similar to Unix cut.

cycle is similar to repeat, except that the content to fill is a subenum rather than a single element.

True if Sys.os_type = "Cygwin".

See Marshal.header_size.

dbg_formatter is a debug formatter that outputs log events to stderr using the same format as make_dbg_formatter.

If set to true, debugging information will be printed to the standard error.

Generic base64 decoding over an input.

As Array.decorate_stable_sort, but uses fast_sort internally.

decorate_stable_sort f a returns a sorted copy of a such that if f
    x < f y then x is earlier in the result than y.

Exactly identical to count_option ~dest:dest ~increment:(-1) ().

default d r evaluates to d if r is Error else x when r is Ok x.

default x (Some v) returns v and default x None returns x.

The default function to open a www browser.

The default size of buffers.

The default size for internal buffers.

Like BatOption.default, but the default value is passed as a thunk that is only computed if needed.

The default level for loggers created with this; log messages with level less than this won't be printed by default.

Default permissions.

The default resizer function the library is using - in this version of DynArray, this is the exponential_resizer but should change in next versions.

Printexc.default_uncaught_exception_handler prints the exception and backtrace on standard error output.

Forward slash and code zero are considered invalid.

See BatHeap.del_min.

Delete the minimal element of the heap.

delay (fun () -> e) produces an enumeration which behaves as e.

delete darr idx deletes the element of darr at idx.

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

delete_last darr deletes the last element of darr.

delete_range darr idx len deletes len elements starting at index idx.

demote n Swaps n with prev n.

Return the descriptor corresponding to an input channel.

Return the descriptor corresponding to an input.

Return the descriptor corresponding to an output channel.

Return the descriptor corresponding to an output.

destructive_set v n c sets the element of index n in the v vect to c.

destructive_set v n c sets the element of index n in the v vect to c.

diff s t returns the set of all elements in s but not in t.

Set difference.

diff s t returns the set of all elements in s but not in t.

diff m1 m2 removes all bindings of keys found in m2 from m1, using the comparison function of m1.

diff m1 m2 removes all bindings of keys found in m2 from m1, using the comparison function of m1.

Compute the difference between two sets.

diff s t returns s-t.

differentiate s t removes the elements of t from s.

differentiate_sym s t sets s to the symmetrical difference of the sets s and t.

Recognizes one decimal digit

Return the size (dimension) of the given one-dimensional big array.

Return the first dimension of the given three-dimensional big array.

Return the first dimension of the given two-dimensional big array.

Return the second dimension of the given three-dimensional big array.

Return the second dimension of the given two-dimensional big array.

Return the third dimension of the given three-dimensional big array.

Genarray.dims a returns all dimensions of the big array a, as an array of integers of length Genarray.num_dims a.

The directory separator (e.g.

See Filename.basename.

disjoint s1 s2 tests whether the sets s1 and s2 contain no shared elements.

disjoint s1 s2 tests whether the sets s1 and s2 contain no shared elements.

disjoint s1 s2 tests whether the sets s1 and s2 contain no shared elements.

Integer division.

Integer division.

Integer division.

Integer division.

Integer division.

Division

Euclidean quotient of two big integers.

domain t returns the set of ints that are bound in t

Return the socket domain adequate for the given socket address.

Read an enumeration of IEEE double precision floating point values.

Read an enumeration of IEEE double precision floating point values.

Return drive letter of the given absolute path.

drop n stream returns the suffix of stream after the first n elements, or a empty stream if n is greater than the length of stream

drop n s returns s without the first n elements, or the empty sequence if s have less than n elements.

drop n l returns l without the first n elements, or the empty list if l have less than n elements.

drop n l returns l without the first n elements, or the empty list if l have less than n elements.

drop n e removes the first n element from the enumeration, if any.

Remove node from the list no matter where it is.

Drop up to 7 buffered bits and restart to next input character.

drop_while test stream returns the remaining suffix of take_while test
    stream.

drop_while f s returns the sequence s with the first elements satisfying the predicate f dropped.

drop_while p xs returns the suffix remaining after take_while p xs.

drop_while f xs returns the list xs with the first elements satisfying the predicate f dropped.

drop_while p e produces a new enumeration in which only all the first elements such that f e have been junked.

dropl p sus drops the longest prefix (left substring) of sus all of whose characters satisfy predicate p.

dropr p sus drops the longest suffix (right substring) of sus all of whose characters satisfy predicate p.

obsolete, as BatList.drop_while

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

Attempt to convert a value to a string.

Return a new file descriptor referencing the same file as the given descriptor.

dup stream returns a pair of streams which are identical to stream.

dup stream returns a pair of streams which are identical to stream.

dup2 fd1 fd2 duplicates fd1 to fd2, closing fd2 if already opened.

Euler? ...

Evaluate a list and append another list after this one.

Eager fold_right

Eager conversion from lists.

Edition distance (also known as "Levenshtein distance").

Accept one of several parsers.

Return the list of all elements of the given set.

Return the list of all elements of the given set.

Return the list of all elements of the given set.

Returns a list of all elements in the set

The empty vect.

The empty vect.

The empty rope.

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

The empty set, using compare as comparison function

The empty set.