Index of values

!r returns the current contents of reference r.

Negation of (==).

The boolean ``and''.

Integer multiplication.

Exponentiation

Same as Num.power_num.

Floating-point multiplication

Same as Num.mult_num.

Integer addition.

Floating-point addition

Same as Num.add_num.

Integer subtraction.

Floating-point subtraction

Same as Num.sub_num.

Integer division.

Floating-point division.

Same as Num.div_num.

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

See (>=).

See (>=).

Negation of (=).

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

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

See (>=).

Structural ordering functions.

List concatenation.

String concatenation.

f1 ^^ f2 catenates formats f1 and f2.

The boolean ``or''.

Unary negation.

Unary negation.

Return the absolute value of the argument.

Return the absolute value of its argument.

Return the absolute value of its argument.

Return the absolute value of its argument.

Absolute value.

Return the absolute value of the argument.

Absolute value.

Accept connections on the given socket.

Accept connections on the given socket.

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

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

See atan2.

add t x adds x to t.

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

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

Addition.

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

Addition.

Addition.

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

add db key data inserts the pair (key, data) in the database db.

Addition

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

Addition.

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

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

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

Addition of a small integer to a big integer.

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

Addition

add_string b s appends the string s 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.

Schedule a SIGALRM signal after the given number of seconds.

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.

allow_only units restricts the compilation units that dynamically-linked units can reference: it only allows references to the units named in list units.

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

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

Catenate two lists.

Catenate two lists.

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

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

Get or set the application name.

Approximate a number by a decimal.

See Num.approx_num_exp.

Argument.

The command line arguments given to the process.

Print the current status of the arithmetic flags.

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

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

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

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

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

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

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

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

See atan2.

The usual trigonometric functions.

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

See Graphics.foreground.

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

Scanning.beginning_of_input scanbuf tests the beginning of input condition of the given buffer.

Convert a small integer to a big integer.

Convert a string to a big integer, in decimal.

Bind a socket to an address.

Bind a socket to an address.

Bind a succession of events on a widget to an action.

Same thing for all widgets of a given class.

Same thing for all widgets having a given tag

Return 30 random bits in a nonnegative integer.

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

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

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

String.blit src srcoff dst dstoff len copies len 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.

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.

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_image img x y copies screen pixels into the image img, modifying img in-place.

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

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

Convert the given string to a boolean.

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

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

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

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

Same as sprintf above, but instead of printing on a string, writes into the given extensible buffer.

Used inside a bound action, do not call other actions after this one.

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

bscanf ib format f reads tokens from the scanning buffer ib according to the format string format, converts these tokens to values, and applies the function f to these values.

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

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

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

Return the number of elements of a set.

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

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

See floor.

ceiling_num n returns the smallest integer bigger or equal to n.

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 the character with the given ASCII code.

Change the process working directory.

Change the process working directory.

Change the current working directory of the process.

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

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

Change the permissions of the named file.

Change the permissions of the named file.

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

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

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.

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

Return the character with the given ASCII code.

Change the process root directory.

Change the process root directory.

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

Remove all elements from the table.

Discard all elements from a stack.

Discard all elements from a queue.

Empty a hash table.

Empty the buffer.

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

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

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

Erase the graphics window.

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

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

Empty the parser stack.

Close a file descriptor.

Close a file descriptor.

Close the given descriptor.

Quit the main loop and close all open windows.

Closes the most recently opened pretty-printing box.

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

Close the given channel.

Same as close_in, but ignore all errors.

Close the given channel, flushing all buffered write operations.

Same as close_out, but ignore all errors.

Close channels opened by UnixLabels.open_process, wait for the associated command to terminate, and return its termination status.

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

Close channels opened by UnixLabels.open_process_full, wait for the associated command to terminate, and return its termination status.

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

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

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

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

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

Close the sub-window having the given identifier.

close_tag () closes the most recently opened tag t.

Closes the most recently opened tabulation box.

Close a directory descriptor.

Close a directory descriptor.

Return the ASCII code of the argument.

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

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

Execute the given shell command and return its exit code.

Perform a full major collection and compact the heap.

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

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

Total ordering between sets.

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

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

A total ordering function over the set elements.

A total ordering function over the keys.

Total ordering between maps.

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

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

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

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.

Return -1, 0 or 1 if the first argument is less than, equal to, or greater than the second argument.

See Bigarray.char.

See Bigarray.char.

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

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

Concatenate a list of lists.

Concatenate a list of lists.

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

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

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

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

Connect a socket to an address.

Connect a socket to an address.

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.

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.

Return a copy of the given string.

Return a copy of the given string.

Return a copy of the given stack.

Return a copy of the given state.

Return a copy of the given queue.

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

Return a copy of the given hashtable.

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.

See atan2.

See tanh.

Count the number of elements in the table.

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

Return (minor_words, promoted_words, major_words).

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

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

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.

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

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

Return a new stack, initially empty.

Return a new queue, initially empty.

Return a new mutex.

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

Return a new condition variable.

create n returns a fresh buffer, initially empty.

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.

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_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_image w h returns a new image w pixels wide and h pixels tall, to be used in conjunction with blit_image.

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 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 UnixLabels.create_process, except that the extra argument env specifies the environment passed to the program.

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.

Return the position of the current point.

Return the abscissa of the current point.

Return the ordinate of the current point.

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

See Marshal.header_size.

Decrement the integer contained in the given reference.

decr r is r:=!r-1, where r is a reference to a number.

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

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

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

Return the descriptor corresponding to an input channel.

Return the descriptor corresponding to an input channel.

Return the descriptor corresponding to an output channel.

Return the descriptor corresponding to an output channel.

Destroy an individual widget.

Set difference.

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.

See Filename.basename.

Set display mode on or off.

Integer division.

Integer division.

Integer division.

Division

Euclidean quotient of two big integers.

Division

Return the socket domain adequate for the given socket address.

Return the socket domain adequate for the given socket address.

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

See Graphics.draw_string.

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

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

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

draw_poly polygon draws the given polygon.

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

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

draw_segments segments draws the segments given in the array argument.

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

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

Convert an image to a color matrix.

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

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.

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

Return the list of all elements of the given set.

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

The empty set.

The empty map.

Scanning.end_of_input scanbuf tests the end of input condition of the given buffer.

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

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

Same as Printf.fprintf, but output on stderr.

Same as fprintf above, but output on err_formatter.

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

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

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

The equality predicate used to compare keys.

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

Return a string describing the given error code.

Return a string describing the given error code.

Convert an error description to a printable message.

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

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

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

Establish a server on the given address.

Establish a server on the given address.

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.

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

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

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

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

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

Same as UnixLabels.execvp respectively, except that the program is searched in the path.

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

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

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

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

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

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

Terminate prematurely the currently executing thread.

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.

Exponential.

Exponentiation.

Raise exception Failure with the given string.

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

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

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

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

Change the permissions of an opened file.

Change the permissions of an opened file.

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

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

Return the digest of the file whose name is given.

Test if a file with the given name exists.

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

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.

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.

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

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

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

Fill an elliptical pie slice with the current color.

Fill a circle with the current color.

Fill an ellipse with the current color.

Fill the given polygon with the current color.

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

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

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

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

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.

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

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

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

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

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

find db key returns the data associated with the given key in the database opened for the descriptor db.

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

find_all is another name for ListLabels.filter.

find_all is another name for List.filter.

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

first_chars s n returns the first n characters of s.

See Dbm.nextkey.

Flatten a list of lists.

Same as concat.

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

Same as float_of_int.

See Bigarray.char.

See Bigarray.char.

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 ``double format'' bit layout, is the given int64.

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

Convert an integer to floating-point.

Convert the given string to a float.

Round the given float to an integer value.

floor_num n returns the largest integer smaller or equal to n.

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

Flush all open output channels; ignore errors.

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

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

fold f t init computes (f d1 (... (f dN init))) where d1 ... dN are the elements of t in some unspecified 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 accu q is equivalent to List.fold_left f accu l, where l is the list of q's elements.

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

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

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

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

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

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

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

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

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

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

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

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