Index of values

Prefix operator that converts primitive string to ustring.

Prefix operator that converts primitive string to ustring.

!r returns the current contents of reference r.

!r returns the current contents of reference r.

Negation of Standard.(==).

Applying two functions to the same argument.

The boolean ``and''.

The boolean ``and''.

Integer multiplication.

Multiplication.

Multiplication.

Exponentiation

a ** b computes a^b

a ** b computes a^b

Function pairing.

Function application.

Floating-point multiplication

Integer addition.

Addition.

Addition.

Floating-point addition

Integer subtraction.

Subtraction.

Subtraction.

Enumerate numbers.

As range, without the label.

Enumerate an interval.

Enumerate an interval.

Enumerate an interval.

Enumerate an interval.

Produce the enumeration of a segment of characters.

As --, but accepts enumerations in reverse order.

As --, but accepts enumerations in reverse order.

Enumerate an interval.

Enumerate an interval.

Enumerate an interval.

Enumerate an interval.

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

As ( -- ), but for characters.

As ( -- ), but for characters.

Floating-point subtraction

Function composition.

Integer division.

Integer division.

Integer division.

Floating-point division.

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

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

basepath//@relpath catenates two paths.

basepath//@relpath catenates two paths.

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

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

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

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

See Standard.(>=).

See Standard.(>=).

Negation of Standard.(=).

Accept one of two parsers

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

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

See Standard.(>=).

As cons

Structural ordering functions.

As bind

as bind

As bind, but ignoring the result

List concatenation.

Mapping operators.

Mapping operators.

String concatenation.

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

As lazy append

f1 ^^ f2 catenates formats f1 and f2.

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

As Rope.append

Function composition.

Function application.

The boolean ``or''.

The boolean ``or''.

As zero_plus without arguments.

As one_plus

Unary negation.

Unary negation.

As maybe

Return the absolute value of the argument.

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

The absolute value of a floating point number.

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.

The absolute value of a floating point number.

Return the absolute value of its argument.

Return the absolute value of the argument.

Accept connections on the given socket.

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

See Standard.atan2.

See Float.atan2.

See Safe_float.atan2.

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

add darr v appends v onto darr.

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

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

Adds an element at the end - O(n)

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

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

Addition

Addition.

Addition.

Addition.

Addition.

Addition.

add t x adds x to t.

add t x adds x to t.

Add an option to the option parser.

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

add_buffer b1 b2 adds the contents of b2 to b1.

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

Add one Unicode character to the buffer.

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.

Addition of a small integer to a big integer.

Adds an element in a sorted list, using optional comparator or 'compare' as default.

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

Add the UTF-8 string to the buffer.

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.

Advance by one char.

Advance by one char.

Schedule a SIGALRM signal after the given number of seconds.

Align the documentation strings by inserting spaces at the first space, according to the length of the keyword.

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

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

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

Accept any singleton value.

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

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.

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

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

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

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

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.

Lazy append

Catenate two lists.

Concatenate two UTF8 strings

append r u concatenates the r and u ropes.

Alternative name for Future.PathGen.PathType.Operators.(/:)

Alternative name for Future.PathGen.PathType.Operators.(/:)

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

approx n return the integer closest to n

Approximate a number by a decimal.

See Num.approx_num_exp.

Argument.

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

The command line arguments given to the process.

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.

array_of_sexp conv sexp converts S-expression sexp to a value of type 'a array using conversion function conv, which converts an S-expression to a value of type 'a.

as_encoded x enc returns an element of type t used to mark that x is encoded with encoding enc.

See Standard.atan2.

See Float.atan2.

See Safe_float.atan2.

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

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

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

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

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

As Lazy_list.assoc but with physical equality

As Lazy_list.Exceptionless.assoc but with physical equality

As List.assoc but with physical equality

As List.Exceptionless.assoc but with physical equality.

at l n returns the n-th element of the sequence l or raise Invalid_argument is the index is outside of l bounds.

as get

at l n returns the n-th element of the list l or raise Invalid_index 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 raise Invalid_index 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.

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

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

See Standard.atan2.

See Float.atan2.

See Safe_float.atan2.

The usual trigonometric functions.

The usual trigonometric functions.

The usual trigonometric functions.

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

Returns an enumeration of the elements of an array, from end to start.

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

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

Returns an enumeration of the elements of a list.

Return an enumeration of all elements of the given set.

Return an enumeration of all elements of the given set.

As String.backwards

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

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

Returns an enumeration of the characters of a string, 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.

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

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.

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

Convert a small integer to a big integer.

big_int_of_sexp sexp converts S-expression sexp to a value of type Big_int.big_int.

Convert a string to a big integer, in decimal.

Monadic binding.

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

Bind a socket to an address.

Monadic-style combination:

Monadic composition.

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 ``single format'' bit layout.

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

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.

Copy all elements of a big array in another 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.

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

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

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

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

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

bool_of_sexp sexp converts S-expression sexp to a value of type bool.

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 sprintf above, but instead of printing on a string, writes into the given extensible buffer.

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

This function behaves as Print.fprintf but prints into a buffer rather than into an output.

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

Negated span.

broadcast c restarts all processes waiting on the condition variable c.

broadcast c restarts all processes waiting on the condition variable c.

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 scannning buffer ib, according to the given format string fmt, and applies f to the resulting format string value.

Returns an enumeration of the UTF-8 encoded strings of a rope.

bulk_filter_map f l calls (f a0) (f a1).... (f an) where a0..an are the UTF-encoded strings of l.

As Rope.fold but over larger chunks of data.

as iter but over larger chunks of data

as iteri but over larger chunks of data.

map f s returns a rope where all ropes c in s have been replaced by f c.

Read an enumeration of unsigned 8-bit integers.

Make a callback option which takes a single argument.

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

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

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

Return the number of elements of a set.

Return the number of elements of a set.

Return the number of elements of a set.

As char, but case-insensitive

As char, but case-insensitive

As rope, but case-insensitive

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

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

As case_string, but case-insensitive

As string, but case-insensitive

As ustring, but case-insensitive

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

Execute a function and catch any exception as a !result

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

See Standard.floor.

See Float.floor.

See Safe_float.floor.

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.

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

Return a random Latin-1 character.

Low-level API

Recognize exactly one char

Recognize exactly one char

Accepts a character literal, i.e.

Return the character with the given ASCII code.

char_of_sexp sexp converts S-expression sexp to a value of type char.

Read an enumeration of Latin-1 characters.

Change the current working directory of the process.

Change the process working directory.

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

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

As File.set_permissions

Change the permissions of the named file.

choice e returns a randomly-chosen element of e.

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

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 raise Not_found if the set is empty.

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

Return the given file name without its extension.

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

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

Return the character with the given ASCII code.

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

chr_of_uint n returns the Unicode character of the code number n.

Change the process root directory.

Read an input as an enumeration of strings of given maximal 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.

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

Empty a hash table.

Empty a hash table.

Removes all elements

Discard all elements from a queue.

Discard all elements from a stack.

Empty the buffer.

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

Remove all elements from the table.

Remove all elements from the table.

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

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

Empty the parser stack.

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

Same as copy

Close a file descriptor.

Closes the most recently opened pretty-printing box.

Close the given channel.

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.

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.

Return the ASCII code of the argument.

code u returns the Unicode code number of u.

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

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

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

Transform a pair of sequences into a sequence of pairs.

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

Get the name/path of the executable

Construct a new command, i.e.

Execute the given shell command and return its exit code.

Format a command as a string and an array of arguments, fit for use with Unix.exec.

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

Perform a full major collection and compact the heap.

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.

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.

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

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

Total ordering between maps.

Total ordering between maps.

Total ordering between sets.

Total ordering between sets.

Compare two units.

compare s1 s2 compares two bitsets.

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

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

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

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

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

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

Code point comparison by lexicographic order.

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

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

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

Usual comparison function.

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.

See Big_array.char.

See Big_array.char.

Compose two lock systems into a third lock system.

Wrap an output channel, compressing transparently data when writing to it.

Wrap an output channel, compressing transparently data when writing to it.

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

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

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

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

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

concatenate a stream of streams

concat r u concatenates the r and u vects.

concat r u concatenates the r and u vects.

Lazy concatenation of a lazy list of lazy lists

Concatenate a list of lists.

concat sep [a;b;c...] returns the concatenation of a, sep, b, sep, c, sep...

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

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.

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

Alternative name for Future.PathGen.PathType.Operators.(//@)

Alternative name for Future.PathGen.PathType.Operators.(//@)

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 e s = fun () -> Cons(e, s)

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

Build a list from a head and a tail.

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

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

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

Ignore its second argument.

As String.contains

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

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_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 the substring of s starting from start to the end of s.

String.contains_from s start c tests if character c appears in the substring of s starting from start to the end of s.

Return a copy of the current contents of the buffer.

contents buf returns the contents of the buffer.

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

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.

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

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

Return a copy of the given hashtable.

Return a copy of the given hashtable.

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

Return a copy of the given queue.

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

Return a copy of the given stack.

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

Return a copy of the given string.

Return a copy of the given string.

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

Makes a copy of a enum.

Makes a copy of a list - O(1)

See Standard.atan2.

See Float.atan2.

See Safe_float.atan2.

See Standard.tanh.

See Float.tanh.

See Safe_float.tanh.

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

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

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

Count the number of elements in the table.

Count the number of elements in the table.

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

Return (minor_words, promoted_words, major_words).

Create a lock from a pair of locking/unlocking functions

Return a new condition variable.

Return a new mutex.

Return a new mutex.

Thread.create funct arg creates a new thread of control, in which the function application funct arg is executed concurrently with the other threads of the program.

Return a new condition variable.

Return a new mutex.

Return a new mutex.

Thread.create funct arg creates a new thread of control, in which the function application funct arg is executed concurrently with the other threads of the program.

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

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

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.

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.

Creates a node.

create() returns a new empty dynamic array.

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

Return a new queue, initially empty.

Return a new stack, initially empty.

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

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

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

Create an empty bitset with an initial size (in number of bits).

create n returns a fresh buffer, initially empty.

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

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

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

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

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

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

Convert the time (seconds since the epoch) to a date/time record

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 an initial size (in number of bits).

Fully create an input 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.

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

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.

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

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.

Decrement the integer contained in the given reference.

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

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

The default size for internal buffers.

Get the default installation directory for packages

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.

default_string_of_float reference to the default function used to convert floats to strings.

Forward slash and code zero are considered invalid.

Forward slash and code zero are considered invalid.

delay d suspends the execution of the calling thread for d seconds.

delay d suspends the execution of the calling thread for d seconds.

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 p len deletes len elements starting at index p.

demote n Swaps n with prev n.

Return the descriptor corresponding to an input.

Return the descriptor corresponding to an output.

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

Set difference.

Set difference.

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

Recognizes one decimal digit

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

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

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

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

Return the second dimension of the given three-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.

See Path.basename.

Division

Integer division.

Integer division.

Integer division.

Integer division.

Integer division.

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.

Return drive letter of the given absolute path.

Remove node from the list no matter where it is.

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

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

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 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 up to 7 buffered bits and restart to next input character.

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

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

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

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

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

obsolete, as List.drop_while

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

Attempt to convert a value to a string.

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

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

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

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

Evaluate a list and append another list after this one.

Eager conversion from lists.

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 true if the number of elements in the array is 0.

The empty enumeration : contains no element

Returns an new named empty global.

Returns a new empty ref list

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

The empty vect.

The empty vect.

The empty map.

The empty map.

The empty map, using compare as key comparison function.

The empty map, using compare as key comparison function.

The empty set, using compare as comparison function

The empty set.

The empty set.

Create an empty bitset of size 0, the bitset will automatically expand when needed.

The empty UTF8 string

The empty rope.

Generic base64 encoding over an output.

encoded_as t returns the x such that t = as_encoded x enc.

Return the encoding of a t.

Scanning.end_of_input ib tests the end-of-input condition of the given scanning buffer.

ends_with s x returns true if the rope s is ending with x, false otherwise.

ends_with s x returns true if the string s is ending with x, false otherwise.

ends_with s x returns true if the string s is ending with x.

Returns an enumeration of the elements of an array.

Returns an enumeration of the elements of an array.

enum e returns an enumeration on the elements of e.

enum e returns an enumeration on the elements of e.

enum e returns an enumeration on the elements of e.

enum e returns an enumeration on the elements of e.

Create an enum of the list.

enum darr returns the enumeration of darr elements.

Return an enumeration of the elements of the data structure

identity : added for consistency with the other data structures

enum s returns the enumeration of all element of s.

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

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

Returns an enumeration of current elements in the ref list

enum q returns a destructive enumeration of the elements of queue q, from the least recently entered to the most recently entered.

enum s returns a destructive enumeration of the elements of stack s, from the most recently entered to the least recently entered.

Convert an enumeration to a stream.

Returns an enumeration of the elements of the vector.

Lazy conversion to enumeration

Returns an enumeration of the elements of a list.

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

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

creates an enumeration for this map.

enum (Some x) returns the singleton x, while enum None returns the empty enumeration

creates an enumeration for this map.

Return an enumeration of all elements of the given set.

Return an enumeration of all elements of the given set.

Return an enumeration of all elements of the given set.

enum s returns an enumeration of bits which are set in the bitset s.

Returns an enumeration of the characters of a buffer.

Produce the enumeration of all characters

As String.enum

Returns an enumeration of the characters of a rope.

Conversions

Conversions

Return the process environment, as an array of strings with the format ``variable=value''.

Accept the end of an enumeration.

Same as fprintf above, but output on err_formatter.

The usual eprintf function, prints to the standard error output stderr, used to display warnings and errors.

eprintf fmt args behaves as printf fmt args but prints the result on the error out put IO.stderr rather on the screen.

The smallest positive float x such that 1.0 +. x <> 1.0.

The smallest positive float x such that 1.0 +. x <> 1.0.

Comparaison

The equality predicate used to compare keys.

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

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

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

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

equals s1 s2 returns true if, and only if, all bits values in s1 are the same as in s2.

A formatter to use with formatting functions below for output to standard error.

Display an error message and exit the program.

Return a string describing the given error code.

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

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

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

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

Establish a server on the given address.

An infinite list of nothing

Singletons

The name of the current executable.

The name of the file containing the executable currently running.

execv prog args execute the program in file prog, with the arguments args, and the current process environment.

Same as Unix.execv, except that the third argument provides the environment to the program executed.

Same as Unix.execv, except that the program is searched in the path.

Same as Unix.execve, except that the program is searched in the path.

exists f e returns true if there is some x in e such that f x

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

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

exists f e returns true if there is some x in e such that f x

exists p (cons a1 (... an)) checks if at least one element of the sequence satisfies the predicate p.

Return true if an element matches the specified predicate

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

Eager existential.

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

same as mem.

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

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

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

exists str sub returns true if sub is a subrope of str or false otherwise.

exists str sub returns true if sub is a substring of str or false otherwise.

exists str sub returns true if sub is a substring of str or false otherwise.

Same as Lazy_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.

Terminate prematurely the currently executing thread.

Terminate prematurely the currently executing thread.

Exponential.

Exponentiation.

Exponential.

Exponential.

explode s returns the list of characters in the rope s.

explode s returns the list of characters in the string s.

explode s returns the list of characters in the string s.

The exponential resizer- The default resizer except when the resizer is being copied from some other darray.

Returns extension of the name of the object the pathname points to.

Returns extension of the name of the object the pathname points to.

Always fail, without consuming anything.

Raise exception Failure with the given string.

Report a fatal error and leave the monadic world.

For users worried about the speed of count you can call the fast_count function that will give an hint about count implementation.

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.

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

Change the permissions of an opened file.

Change the owner uid and owner gid of an opened file.

Drop comments, present reserved operators and reserved names as Kwd, operators and identifiers as Ident, integer numbers as Int, floating-point numbers as Float and characters as Char.

Return the digest of the file whose name is given.

Test if a file with the given name exists.

As Shell.readdir but the results are presented as an enumeration of names.

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.

Set all elements of a big array to a given value.

Fill the given big array with the given value.

Fill the given big array with the given value.

Fill the given big array with the given value.

fill s start len c returns the rope in which characters number start to start + len - 1 of s has been replaced by c.

String.fill s start len c modifies string s in place, replacing the characters number start to start + len - 1 by c.

String.fill s start len c modifies string s in place, replacing the characters number start to start + len - 1 by c.

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

See Opt_parse.Formatter.wrap.

filter f e returns an enumeration over all elements x of e such as f x returns true.

filter p a returns all the elements of the array a that satisfy the predicate p.

filter p a returns all the elements of the array a that satisfy the predicate p.

filter p l returns a new list, with entirely new nodes, whose values are all the elements of the list l that satisfy the predicate p.

filter p a returns all the elements of the array a that satisfy the predicate p.

filter f e returns an enumeration over all elements x of e such as f x returns true.

filter p s returns the sequence of elements of s satisfying p.

filter f m returns a new hashtable where only the values a of m such that f a = true remain.

filter f m returns a new hashtable where only the values a of m such that f a = true remain.

Remove all elements that do not match the specified predicate

filter test stream picks all the elements satisfying test from stream and return the results in the same order as a stream.

filter f v returns a vect with the elements x from v such that f x returns true.

filter f v returns a vect with the elements x from v such that f x returns true.

Lazy filtering.

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

filter f m returns a map where only the values a of m such that f a = true remain.

filter f m returns a map where only the values a of m such that f a = true remain.

filter f m returns a map where only the values a of m such that f a = true remain.

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

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

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

As String.filter

filter f s returns a copy of rope s in which only characters c such that f c = true remain.

filter f s returns a copy of string s in which only characters c such that f c = true remain.

filter f s returns a copy of string s in which only characters c such that f c = true remain.

filter f p is only accepts values x such that p accepts x and f (p x) is true

filter_map f e returns an array consisting in all elements x such that f y returns Some x , where y is an element of e.

filter_map f e returns an array consisting in all elements x such that f y returns Some x , where y is an element of e.

filter_map f l calls (f a0) (f a1).... (f an) where a0..an are the elements of l.

filter_map f e returns an array consisting in all elements x such that f y returns Some x , where y is an element of e.

filter_map f e returns an enumeration over all elements x such as f y returns Some x , where y is an element of e.

filter_map f s returns the sequence of elements filtered and mapped by f.

filter_map f m combines the features of filteri and map.

filter_map f m combines the features of filteri and map.

filter_map f e returns a vect consisting in all elements x such that f y returns Some x , where y is an element of e.

filter_map f e returns a vect consisting in all elements x such that f y returns Some x , where y is an element of e.

Lazily eliminate some elements and transform others.

filter_map f l calls (f a0) (f a1).... (f an) where a0..an are the elements of l.

filter_map f m combines the features of filteri and map.

filter_map f m combines the features of filteri and map.

filter_map f m combines the features of filteri and map.

filter_map f m combines the features of filter and map.

filter_map f m combines the features of filter and map.

filter_map f m combines the features of filter and map.

As String.filter_map

filter_map f l calls (f a0) (f a1).... (f an) where a0..an are the characters of l.

filter_map f s calls (f a0) (f a1).... (f an) where a0..an are the characters of s.

filter_map f s calls (f a0) (f a1).... (f an) where a0..an are the characters of s.

filter f m returns a map where only the key, values pairs key, a of m such that f key a = true remain.

filter f m returns a map where only the key, values pairs key, a of m such that f key a = true remain.

filter f m returns a map where only the key, values pairs key, a of m such that f key a = true remain.

filter f m returns a map where only the key, values pairs key, a of m such that f key a = true remain.

filter f m returns a map where only the (key, value) pairs key, a of m such that f key a = true remain.

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

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.

finally fend f x calls f x and then fend() even if f x raised an exception.

find f e returns the first element x of e such that f x returns true, consuming the enumeration up to and including the found element, or, raises Not_found if no such element exists in the enumeration, consuming the whole enumeration in the search.

find p a returns the first element of array a that satisfies the predicate p.

find p a returns the first element of array a that satisfies the predicate p.

find p a returns Some x, where x is the first element of array a that satisfies the predicate p, or None if there is no such element.

find p a returns Some x, where x is the first element of array a that satisfies the predicate p, or None if there is no such element.

find f e returns the first element x of e such that f x returns true, consuming the enumeration up to and including the found element, or, raises Not_found if no such element exists in the enumeration, consuming the whole enumeration in the search.

find f e returns Some x where x is the first element x of e such that f x returns true, consuming the enumeration up to and including the found element, or None if no such element exists in the enumeration, consuming the whole enumeration in the search.

find p s returns the first element of s such as p e returns true, if any.

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

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

Find the first element matching the specified predicate raise Not_found if no element is found

find p a returns the first element of array a that satisfies the predicate p.

find p l returns the first element of l such as p x returns true or raises Not_found if such an element has not been found.

rfind p l returns Some x where x is the first element of l such that p x returns true or None if such element as not been found.

find p l returns the first element of l such as p x returns true or raises Not_found if such an element has not been found.

find p l returns Some x where x is the first element of l such as p x returns true or None if such an element has not been found.

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

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

find x m returns the current binding of x in m

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

find s x returns the starting index of the first occurrence of rope x within rope s.

find s x returns the starting index of the first occurrence of string x within string s.

find s x returns the starting index of the string x within the string s or raises Invalid_string if x is not a substring of s.

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

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

find_all is another name for Array.filter.

find_all is another name for Array.filter.

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

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

find_all is another name for Array.filter.

find_all is another name for Array.filter.

find_all is another name for List.filter.

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

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

Find a binding for the key, and return a default value if not found

Find a binding for the key, and return a default value if not found

Same as find but takes an exception to be raised when no element is found as additional parameter

find_exn p e l returns the first element of l such as p x returns true or raises e if such an element has not been found.

find_exn p e l returns the first element of l such as p x returns true or raises e if such an element has not been found.

find_from s ofs x behaves as find s x but starts searching at offset ofs.

find_from s ofs x behaves as find s x but starts searching at offset ofs.

find_from s ofs x behaves as find s x but starts searching at offset ofs.

find_map p s finds the first element of s for which p e returns Some r, if any.

find_map pred list finds the first element of list for which pred element returns Some r.

Find a binding for the key, or return None if no value is found

Find a binding for the key, or return None if no value is found

findi p a returns the index of the first element of array a that satisfies the predicate p.

findi p a returns the index of the first element of array a that satisfies the predicate p.

findi p a returns Some n, where n is the index of the first element of array a that satisfies the predicate p, or None if there is no such element.

findi p a returns Some n, where n is the index of the first element of array a that satisfies the predicate p, or None if there is no such element.

findi p a returns the index of the first element of array a that satisfies the predicate p.

findi p e l returns the first element ai of l along with its index i such that p i ai is true, or raises Not_found if no such element has been found.

findi p e l returns Some (i, ai) where ai and i are respectively the first element of l and its index, such that p i ai is true, or None if no such element has been found.

findi p e l returns the first element ai of l along with its index i such that p i ai is true, or raises Not_found if no such element has been found.

findi p e l returns Some (i, ai) where ai and i are respectively the first element of l and its index, such that p i ai is true, or None if no such element has been found.

Apply a function to the first element of a pair.

Same as Seq.hd

Returns the first element or raises Empty_list if the ref list is empty

As hd

Returns the first element of the list, or raise Empty_list if the list is empty (similar to hd).

first_chars s n returns the first n characters of s.

Synonym of Enum.concat

Same as Seq.concat.

Lazy concatenation of a list of lazy lists

Same as concat.

Argument flipping.

Same as Standard.float_of_int.

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

Parse a floating-point number.

See Big_array.char.

float32_mat_of_sexp sexp converts S-expression sexp to a one-dimensional bigarray of 32-bit floats in Fortran-layout.

float32_vec_of_sexp sexp converts S-expression sexp to a one-dimensional bigarray of 32-bit floats in Fortran-layout.

See Big_array.char.

float64_mat_of_sexp sexp converts S-expression sexp to a two-dimensional bigarray of 64-bit floats in Fortran-layout.

float64_vec_of_sexp sexp converts S-expression sexp to a one-dimensional bigarray of 64-bit floats in Fortran-layout.

See Opt_parse.StdOpt.int_callback.

Returns a floating-point number approximating the given big integer.

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

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

Convert an integer to floating-point.

float_of_sexp sexp converts S-expression sexp to a value of type float.

Convert the given string to a float.

See Opt_parse.StdOpt.int_option.

Round the given float to an integer value.

Round the given float to an integer value.

Round the given float to an integer value.

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

Flush an output.

Write all pending data to output channels, ignore all errors.

Flush all outputs, ignore errors.

Flush remaining unwritten bits, adding up to 7 bits which values 0.

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.

Transformation loop on an enumeration, used to build a single value from an enumeration.

A general loop on an enumeration.

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.

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.

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

fold is foldl without initialization value, where the first element of stream is taken as init.

fold f a r computes f (... (f (f a r0) r1)...) rN-1 where rn = Vect.get n r and N = length r.

as fold_left

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.

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.

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

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

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 s a computes (f xN ... (f x2 (f x1 a))...), where x1 ... xN are the elements of s, in increasing order.

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

Rope.fold f a r computes f (... (f (f a r0) r1)...) rN-1 where rn = Rope.get n r and N = length r.

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

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

fold2 is similar to fold but will fold over two enumerations at the same time until one of the two enumerations ends.

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.

Accumulate a value over the entire list.

fold_left f x darr computes f ( ... ( f ( f (get darr 0) x) (get darr 1) ) ... ) (get darr n-1), similar to Array.fold_left or List.fold_left.

fold_left f a (cons 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.

fold_left f a r computes f (... (f (f a r0) r1)...) rN-1 where rn = Vect.get n r and N = length r.

fold_left f a r computes f (... (f (f a r0) r1)...) rN-1 where rn = Vect.get n r and N = length r.

Eager fold_left

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

fold_left f a s is f (... (f (f a s.[0]) s.[1]) ...) s.[n-1]

fold_left f a s is f (... (f (f a s.[0]) s.[1]) ...) s.[n-1]

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.

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.

Accumulate a value over the entire list.

fold_right f darr x computes f (get darr 0) (f (get darr 1) ( ... ( f (get darr n-1) x ) ... ) ) similar to Array.fold_right or List.fold_right.

fold_right f (cons 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) ...)).

fold_right f r a computes f (r0 ... (f rN-2 (f rN-1 a)) ...)) where rn = Vect.get n r and N = length r.

fold_right f r a computes f (r0 ... (f rN-2 (f rN-1 a)) ...)) where rn = Vect.get n r and N = length r.

Eager fold_right

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

fold_right f s b is f s.[0] (f s.[1] (... (f s.[n-1] b) ...))

fold_right f s b is f s.[0] (f s.[1] (... (f s.[n-1] b) ...))

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

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

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

foldl f init stream is a lazy fold_left.

foldr f init stream is a lazy fold_right.

exists f e returns true if for every x in e, f x is true

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

Predicates

for_all f e returns true if for every x in e, f x is true

for_all p (cons a1 (... an)) checks if all elements of the given sequence satisfy the predicate p.

Return true if all elements match the specified predicate

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

Eager universal.

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

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

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

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

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

force e forces the application of all lazy functions and the enumeration of all elements, exhausting the enumeration.

force x forces the suspension x and returns its result.

Forces a newline in the current box.

force_val x forces the suspension x and returns its result.

Imperative loop on an enumeration.

Fork a new process.

Format a date/time record as a string

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.

format_timestamp oc timestamp prints an ISO-8601 formatted timestamp (extended to specify higher-resolution seconds) to the output channel, oc.

Format a date/time record according to the format string and outputs the resulting string to the channel.

formatter_of_buffer b returns a new formatter writing to buffer b.

formatter_of_out_channel oc returns a new formatter that writes to the corresponding channel oc.

formatter_of_output out returns a new formatter that writes to the corresponding output out.

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

General function.

General formatting function.

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

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

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

from next creates an enumeration from the next function.

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

from next creates a (possibly infinite) lazy list from the successive results of next.

Bufferized file reading in text mode.

Bufferized file reading in binary mode.

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

Scanning.from_function f returns a scanning buffer with the given function as its reading method.

Create a lexer buffer on the given input Lexing.from_input inp returns a lexer buffer which reads from the input inp, at the current reading position.

Scanning.from_channel ic returns a scanning buffer which reads from the input channel ic, starting at the current reading position.

from_loop data next creates a (possibly infinite) enumeration from the successive results of applying next to data, then to the result, etc.

from_loop data next creates a (possibly infinite) lazy list from the successive results of applying next to data, then to the result, etc.

Marshal.from_string 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 string buff, starting at position ofs.

Create a lexer buffer which reads from the given string.

Scanning.from_string s returns a scanning buffer which reads from the given string.

from_while next creates an enumeration from the next function.

from next creates a (possibly infinite) lazy list from the successive results of next.

Same as Scanf.bscanf, but reads from the given channel.

Return the information for the file associated with the given descriptor.

Truncates the file corresponding to the given descriptor to the given size.

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.

fun_of_sexp sexp raises a conversion error when attempting to convert an S-expression to a function.

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

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

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

get e returns None if e is empty or Some x where x is the next element of e, in which case the element is removed from the enumeration.

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

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

Read an element of a generic big array.

Array1.get a x, or alternatively a.{x}, returns the element of a at index x.

Array2.get a x y, also written a.{x,y}, returns the element of a at coordinates (x, y).

Array3.get a x y z, also written a.{x,y,z}, returns the element of a at coordinates (x, y, z).

Given a node, get the data associated with that node.

get darr idx gets the element in darr at index idx.

get e returns None if e is empty or Some x where x is the next element of e, in which case the element is removed from the enumeration.

Get the global value contents - raise Global_not_initialized if not defined.

As !

get v n returns the (n+1)th element from the vect v; i.e.

get n r returns the (n+1)th element from the vect r; i.e.

get l returns the head and tail of l, if l is not empty.

get (Some x) returns x and get None raises No_value.

get s n returns the n-th Unicode character of s.

get r n returns the (n+1)th character from the rope r; i.e.

String.get s n returns character number n in string s.

String.get s n returns character number n in string s.

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

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.

Get the value of an option.

Usual get function.

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

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.

Return the text of the ellipsis.

get_exn (Some x) e returns x and get_exn None e raises e.

Return the current output functions of the pretty-printer.

Return the current tag functions of the pretty-printer.

Returns the position of the right margin.

Return the current status of tags printing and tags marking.

Returns the maximum number of boxes allowed before ellipsis.

Return the value of the maximum indentation limit (in characters).

Get the current resizer function for a given array

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

getaddrinfo host service opts returns a list of Unix.addr_info records describing socket parameters and addresses suitable for communicating with the given host and service.

Return the current working directory of the process.

Return the name of the current working directory.

Return the effective group id under which the process runs.

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

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

Return the effective user id under which the process runs.

Return the group id of the user executing the process.

Find an entry in group with the given group id, or raise Not_found.

Find an entry in group with the given name, or raise Not_found.

Return the list of groups to which the user executing the process belongs.

Find an entry in hosts with the given address, or raise Not_found.

Find an entry in hosts with the given name, or raise Not_found.

Return the name of the local host.

Return the current status of the given interval timer.

Return the login name of the user executing the process.

getnameinfo addr opts returns the host name and service name corresponding to the socket address addr.

Return the address of the host connected to the given socket.

Return the pid of the process.

Return the pid of the parent process.

Find an entry in protocols with the given name, or raise Not_found.

Find an entry in protocols with the given protocol number, or raise Not_found.

Find an entry in passwd with the given name, or raise Not_found.

Find an entry in passwd with the given user id, or raise Not_found.

Find an entry in services with the given name, or raise Not_found.

Find an entry in services with the given service number, or raise Not_found.

Return the address of the given socket.

Return the current status of a boolean-valued option in the given socket.

Same as Unix.getsockopt for a socket option whose value is a floating-point number.

Same as Unix.getsockopt for an integer-valued socket option.

Same as Unix.getsockopt for a socket option whose value is an int option.

Same as Unix.time, but with resolution better than 1 second.

Return the user id of the user executing the process.

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.

Convert a time in seconds, as returned by Unix.time, into a date and a time.

group test e devides e into an enumeration of enumerations, where each sub-enumeration is the longest continuous enumeration of elements whose test results are the same.

group cmp l returns list of groups and each group consists of elements judged equal by comparison function cmp.

group_beginning n returns the position of the first character of the substring that was matched by the nth group of the regular expression.

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.

Give the permission to execute the file to the group containing the user.

Give the permission to read the file to the group containing the user.

Give the permission to write the file to the group containing the user.

Usual boolean comparisons between two big integers.

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

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

gzip-specific compression function, same as GZip.compress, but enable to specifiy gzip-specific compression parameters

Arg.handle commands parses the command-line and applies the specifications of commands and returns the list of anonymous arguments.

handle_unix_error f x applies f to x and returns the result.

hard_count returns the number of remaining in elements in e, consuming the whole enumeration somewhere along the way.

A hashing function on keys.

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

Hashtbl.hash_param n m x computes a hash value for x, with the same properties as for hash.

hashtbl_of_sexp conv_key conv_value sexp converts S-expression sexp to a value of type ('a, 'b) Hashtbl.t using conversion function conv_key, which converts an S-expression to hashtable key of type 'a, and function conv_value, which converts an S-expression to hashtable value of type 'b.

Returns the first element of the sequence or raise Invalid_argument if the sequence is empty.

same as first

Return the first element of the given list.

Returns the first element of the list or raise Empty_list if the list is empty.

as Rope.left

as String.left

as String.Cap.left

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.

Returns the height (depth) of the vect.

Returns the height (depth) of the vect.

Returns the height (depth) of the rope.

help_option () returns the standard help option which displays a usage message and exits the program when encountered on the command line.

Recognizes one hexadecimal digit (case-insensitive)

Recognizes one hexadecimal digit (case-insensitive)

The complex number i.

Read an enumartion of signed 16-bit words.

Read an enumartion of signed 16-bit words.

Read an enumeration of signed 32-bit integers.

Read an enumeration of signed 32-bit integers.

Read an enumeration of signed 64-bit integers as OCaml int64s.

Read an enumeration of signed 64-bit integers as OCaml int64s.

Compare two ropes, case-insensitive.

Compare two unicode characters, case-insensitive.

Compare two strings, case-insensitive.

Compare two strings, case-insensitive.

Return the identifier of the given thread.

Return the identifier of the given thread.

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

Accepts any non-reserved identifier/operator.

The identity function.

Same as fprintf above, but does not print anything.

As Printf.fprintf but doesn't actually print anything.

As Print.fprintf but doesn't actually print anything.

Discard the value of its argument and return ().

If Some d, duplicate packages below d are ignored, and do not * produce warnings.

Ignore a (non-empty) list of expressions.

Ignore a (possibly empty) list of expressions.

implode cs returns a rope resulting from concatenating the characters in the list cs.

implode cs returns a string resulting from concatenating the characters in the list cs.

implode cs returns a string resulting from concatenating the characters in the list cs.

Increment the integer contained in the given reference.

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

Create an "indented" formatter with the given options.

Return the index (position : 0 starting) of an element in a ref list, using the specified comparator raise Not_found if no element was found

As String.index

Rope.index s c returns the position of the leftmost occurrence of character c in rope s.

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

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

Same as Rope.index, but start searching at the character position given as second argument.

Same as String.index, but start searching at the character position given as second argument.

Same as String.index, but start searching at the character position given as second argument.

index_of f darr returns the index of the first element x in darr such as f x returns true or raise Not_found if not found.

Return the index (position : 0 starting) of an element in a ref list, using ( = ) for testing element equality raise Not_found if no element was found

index_of e l returns the index of the first occurrence of e in l, or None if there is no occurrence of e in l

index_of e l returns the index of the first occurrence of e in l, or None if there is no occurrence of e in l

index_ofq e l behaves as index_of e l except it uses physical equality

index_ofq e l behaves as index_of e l except it uses physical equality

A special IPv6 address, for use only with bind, representing all the Internet addresses that the host machine possesses.

A special IPv6 address representing the host machine (::1).

A special IPv4 address, for use only with bind, representing all the Internet addresses that the host machine possesses.

A special IPv4 address representing the host machine (127.0.0.1).

Conversion from the printable representation of an Internet address to its internal representation.

Positive infinity.

Positive infinity.

Positive infinity.

Simplified and optimized version of IO.wrap_in which may be used whenever only one input appears as dependency.

Simplified and optimized version of IO.wrap_out whenever only one output appears as dependency.

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.

init n f returns an array of n elements filled with values returned by f 0 , f 1, ... f (n-1).

init n f creates a new enumeration over elements f 0, f 1, ..., f (n-1)

init n f returns the sequence returning the results of f 0, f 1....

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

Similar to Array.init, init n f returns the lazy list containing the results of (f 0),(f 1)....

Similar to Array.init, init n f returns the list containing the results of (f 0),(f 1)....

init len f returns a new string which contains len Unicode characters.

init l f returns the rope of length l with the chars f 0 , f 1 , f 2 ...

init l f returns the string of length l with the chars f 0 , f 1 , f 2 ...

init l f returns the string of length l with the chars f 0 , f 1 , f 2 ...

Initializes the library from the configuration file and the environment.

Initialize the generator, using the argument as a seed.

init name_level_list formatter initializes the logging system enabling the specified levels for each named logger.

init_from_string name_level_string formatter initializes the logging system enabling the specified levels for each named logger.

This is an alternate way to initialize the library directly.

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

input i s p l reads up to l characters from the given input, storing them in string s, starting at character number p.

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

Read a digest from the given input.

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

Read bits from an input

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

Create an input that will read from a channel.

Read one character from the given input channel.

Create an input that will read from an enum.

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

Create a Batteries System.IO.input channel from an input Netchannel

Create an input reading from the given descriptor.

input_rev_sexps ?buf ic same as Sexp.input_sexps, but returns a reversed list of S-expressions, which is slightly more efficient.

input_sexp ?text_line ?text_char ?buf_pos ic parses an S-expression from input channel ic using initial position information text_line, text_char, and buf_pos.

input_sexps ?text_line ?text_char ?buf_pos ??buf ic parses whitespace separated S-expressions from input channel ic until EOF is reached.

Create an input that will read from a string.

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

insert darr idx v inserts v into darr at index idx.

insert n r u returns a copy of the u vect where r has been inserted between the elements with index n and n + 1 in the original vect.