Index of types

Flags for the UnixLabels.access call.

Flags for the Unix.access call.

Address information returned by Unix.getaddrinfo.

Address information returned by Unix.getaddrinfo.

An alarm is a piece of data that calls a user function at the end of each major GC cycle.

Currently, the official distribution only supports Native and Bytecode, but it can be other backends with alternative compilers, for example, javascript.

The abstract type backtrace_slot represents a single slot of a backtrace.

See Bigarray.fortran_layout.

The type of communication channels carrying values of type 'a.

A color is specified by its R, G, B components.

The GC parameters are given as a control record.

The type of the elements stored in the table.

The type of descriptors over opened directories.

The type of descriptors over opened directories.

The type of the set elements.

The type of error codes.

The type of error codes.

To specify events to wait for.

The type of communication events returning a result of type 'a.

The flags to the Marshal.to_* functions below.

The abstract type of file descriptors.

The abstract type of file descriptors.

A convenient alias to designate a file name.

The type of file access rights, e.g.

The type of file access rights, e.g.

List of format elements.

Abstract data corresponding to a pretty-printer (also called a formatter) and all its machinery.

The set of output functions specific to a formatter: the out_string function performs all the pretty-printer string output. It is called with a string s, a start position p, and a number of characters n; it is supposed to output characters p to p + n - 1 of s., the out_flush function flushes the pretty-printer output device., out_newline is called to open a new line when the pretty-printer splits the line., the out_spaces function outputs spaces when a break hint leads to spaces instead of a line split. It is called with the number of spaces to output., the out_indent function performs new line indentation when the pretty-printer splits the line. It is called with the indentation value of the new line. By default: fields out_string and out_flush are output device specific; (e.g. output_string and flush for a out_channel device, or Buffer.add_substring and ignore for a Buffer.t output device),, field out_newline is equivalent to out_string "\n" 0 1;, fields out_spaces and out_indent are equivalent to out_string (String.make n ' ') 0 n.

The semantic tag handling functions specific to a formatter: mark versions are the 'tag-marking' functions that associate a string marker to a tag in order for the pretty-printing engine to write those markers as 0 length tokens in the output device of the formatter.

To facilitate interoperability with existing C and Fortran code, this library supports two different memory layouts for big arrays, one compatible with the C conventions, the other compatible with the Fortran conventions.

The five classes of floating-point numbers, as determined by the Float.classify_float function.

Options to Unix.getaddrinfo.

Options to Unix.getaddrinfo.

Options to Unix.getnameinfo.

Options to Unix.getnameinfo.

Structure of entries in the groups database.

Structure of entries in the groups database.

Structure of entries in the hosts database.

Structure of entries in the hosts database.

The abstract type for images, in internal representation.

The notion of input channel for the Scanf module: those channels provide all the machinery necessary to read from any source of characters, including a in_channel value.

The abstract type of Internet addresses.

The abstract type of Internet addresses.

The three kinds of interval timers.

The three kinds of interval timers.

The type describing the status of an interval timer

The type describing the status of an interval timer

The type of the map keys.

To each element kind is associated an OCaml type, which is the type of OCaml values that can be stored in the big array or read back from it.

The type of lexer buffers.

The type of location information found in backtraces.

Commands for UnixLabels.lockf.

Commands for Unix.lockf.

Host and service information returned by Unix.getnameinfo.

Host and service information returned by Unix.getnameinfo.

alias for Obj.t

The flags to UnixLabels.openfile.

The flags to Unix.openfile.

Structure of entries in the passwd database.

Structure of entries in the passwd database.

A value of type position describes a point in a source file.

The termination status of a process.

The termination status of a process.

The execution times (CPU times) of a process.

The execution times (CPU times) of a process.

Structure of entries in the protocols database.

Structure of entries in the protocols database.

The abstract type raw_backtrace stores a backtrace in a low-level format, instead of directly exposing them as string as the get_backtrace() function does.

This type allows direct access to raw backtrace slots, without any conversion in an OCaml-usable data-structure.

The type of compiled regular expressions.

The type of scanning buffers.

The type of formatted input scanners: ('a, 'b, 'c, 'd) scanner is the type of a formatted input function that reads from some formatted input channel according to some format string; more precisely, if scan is some formatted input function, then scan
    ic fmt f applies f to all the arguments specified by format string fmt, when scan has read those arguments from the Scanf.Scanning.in_channel formatted input channel ic.

Positioning modes for UnixLabels.lseek.

Positioning modes for Unix.lseek.

Structure of entries in the services database.

Structure of entries in the services database.

The type of commands for shutdown.

The type of commands for shutdown.

What to do when receiving a signal: Signal_default: take the default behavior (usually: abort the program), Signal_ignore: ignore the signal, Signal_handle f: call function f, giving it the signal number as argument.

The socket options that can be consulted with UnixLabels.getsockopt and modified with UnixLabels.setsockopt.

The socket options that can be consulted with Unix.getsockopt and modified with Unix.setsockopt.

The type of socket domains.

The type of socket domains.

The socket options that can be consulted with UnixLabels.getsockopt_float and modified with UnixLabels.setsockopt_float.

The socket options that can be consulted with Unix.getsockopt_float and modified with Unix.setsockopt_float.

The socket options that can be consulted with UnixLabels.getsockopt_int and modified with UnixLabels.setsockopt_int.

The socket options that can be consulted with Unix.getsockopt_int and modified with Unix.setsockopt_int.

The socket options that can be consulted with Unix.getsockopt_optint and modified with Unix.setsockopt_optint.

The socket options that can be consulted with Unix.getsockopt_optint and modified with Unix.setsockopt_optint.

The type of socket kinds, specifying the semantics of communications.

The type of socket kinds, specifying the semantics of communications.

The concrete type describing the behavior associated with a keyword.

Semantic tags (or simply tags) are user's defined annotations to associate user's specific operations to printed entities.

The memory management counters are returned in a stat record.

The information returned by the UnixLabels.stat calls.

The information returned by the Unix.stat calls.

To report events.

The output buffer of a symbolic pretty-printer.

Items produced by symbolic pretty-printers

The type of thread handles.

The type of tables that contain elements of type data.

The type of arrays of weak pointers (weak arrays).

The type for Unicode characters.

An alias for the type of strings.

The type of streams holding values of type 'a.

An alias for the type of strings.

The type of stacks containing elements of type 'a.

Type representing a file that will hold a series of heap snapshots together with additional information required to interpret those snapshots.

The type of sets.

The type of delayed lists containing elements of type 'a.

The type of PRNG states.

The type of queues containing elements of type 'a.

an ephemeron cf Ephemeron

An alias for the type of native integers.

The type of mutexes.

The type of the set elements.

The type of the map keys.

The type of maps from type key to type 'a.

A value of type 'a Lazy.t is a deferred computation, called a suspension, that has a result of type 'a.

An alias for the type of 64-bit integers.

An alias for the type of 32-bit integers.

The type for integer values.

The type of the hashtable keys.

The type of the hashtable keys.

The type of hash tables from type 'a to type 'b.

An alias for the type of floating-point numbers.

an ephemeron with an arbitrary number of keys of the same type

an ephemeron with two keys

an ephemeron with one key

The type of digests: 16-character strings.

The type of condition variables.

The type of complex numbers.

An alias for the type of characters.

An alias for the type of byte sequences.

An alias for the type of byte sequences.

The abstract type of buffers.

The type for boolean values.

The type of three-dimensional big arrays whose elements have OCaml type 'a, representation kind 'b, and memory layout 'c.

The type of two-dimensional big arrays whose elements have OCaml type 'a, representation kind 'b, and memory layout 'c.

The type of one-dimensional big arrays whose elements have OCaml type 'a, representation kind 'b, and memory layout 'c.

The type of zero-dimensional big arrays whose elements have OCaml type 'a, representation kind 'b, and memory layout 'c.

The type Genarray.t is the type of big arrays with variable numbers of dimensions.

The type representing wallclock time and calendar date.

The type representing wallclock time and calendar date.

The type of tokens.

Flags for UnixLabels.waitpid.

Flags for Unix.waitpid.