Index of types

Flags for the Unix.access call.

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.

The type of metadata associated with allocations.

Automatically managed caches

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.

The base/raw type

Raw unbounded type

The type of big integers.

`open or `closed or `unbounded bounds

The type of a bounding function with limits specified by bounds

Buffers for UTF-8 strings.

See Bigarray.fortran_layout.

choice functions, see min and max.

The legacy int-returning comparisons : compare a b < 0 means a < b, compare a b = 0 means a = b, compare a b > 0 means a > b

A path can be represented by the following triple: (Path.parent path, Path.name_core path, Path.ext path)

The GC parameters are given as a control record.

A decoding table maps chars 0..255 to the corresponding 0..63 value or -1 if the char is not accepted.

The type of descriptors over opened directories.

The type of double-ended queues

The different verbosity levels supported in the Easy logger

Type of elements of the heap

The type of the set elements.

This kind of set only holds ints

An encoding table maps integers 0..63 to the corresponding char.

The data structure, e.g.

The type for equality function.

The type of error codes.

A log event consists of an event name and a list of key-value parameters (an association list).

The flags to the Marshal.to_* functions below.

The type of finger trees containing elements of type 'a measured by 'm.

The abstract type of file descriptors.

The type of file access rights, e.g.

the type of a log formatter is a function that takes the logger, the level of the log statement (which will be the currently enabled level or one of its successors), the event record, and a unix timestamp indicating the time the event was created.

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

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.

Classes of floating point numbers

Classes of floating point numbers

Options to Unix.getaddrinfo.

Options to Unix.getnameinfo.

The type of an option group.

Structure of entries in the groups database.

The type t hobj represents hashed objects of type t.

Structure of entries in the hosts database.

Positions in the string represented by the number of bytes from the head.

The abstract type of Internet addresses.

The abstract input type.

The three kinds of interval timers.

The type describing the status of an interval timer

The type of the map keys.

type of objects in the table

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 'a layout represents one of the two supported memory layouts: C-style if 'a is Bigarray.c_layout, Fortran-style if 'a is Bigarray.fortran_layout.

The type of lexer buffers.

The type of location information found in backtraces.

The light-weight type of a lock, i.e.

Commands for Unix.lockf.

The type of values in this monad : option

The type of a monad producing values of type 'a.

The type of the BatEnum monad's elements, thus BatEnum.t.

Type of the monadic elements.

The data structure, e.g.

The type of the element of a monoid.

Host and service information returned by Unix.getnameinfo.

The type of numbers.

The smallest set of operations supported by every set of numbers.

Flags governing file output; they correspond to the relevant flags to the POSIX open() call.

The type of ordering functions returning an order variant.

The abstract output type, 'a is the accumulator data, it is returned when the close_out function is called.

Structure of entries in the passwd database.

The list of operations which are permitted on a file.

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

The position inside one file or one stream.

The type of a printing function to print a 'a to an output that produces 'b as result.

The termination status of a process.

The execution times (CPU times) of a process.

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.

A raw_backtrace_entry is an element of a raw_backtrace.

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

The type of a resizer function.

This type represents the outcome of a function which has the possibility of failure.

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 scanning buffer according to some format string; more precisely, if scan is some formatted input function, then scan ib fmt f applies f to the arguments specified by the format string fmt, when scan has read those arguments from the scanning input buffer ib.

Positioning modes for Unix.lseek.

Structure of entries in the services database.

The type of commands for shutdown.

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

The type of socket domains.

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 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 type of socket kinds, specifying the semantics of communications.

The memory management counters are returned in a stat record.

The current state of the parser.

The information returned by the Unix.stat calls.

The type of a polymorphic vect.

The type of a polymorphic vect.

A synonym for convenience

The unit type, i.e.

UTF-8 encoded Unicode strings.

The type of the rope.

Substring.t is the type of substrings of a basestring, an efficient representation of a piece of a string.

The type of capability strings.

An alias for the type of strings.

The type of stacks containing elements of type 'a.

The type of sets.

The type of sets.

The type of sets.

A sequence is a computation which returns a list-like node

A label which may be used to return values of type 'a

The type of a result.

The type of an empty ref list

The type of references.

same as BatRandom.State

The type of PRNG states.

The type of mutexes.

The type of queues containing elements of type 'a.

The format to use for displaying the various arguments passed to the function.

The type of exception values.

Type for strings.

A type for storing paths.

A source of elements of type 'a, with a user-defined state of type 'b

A parser for elements of type 'a, producing elements of type 'b, with user-defined states of type 'c.

The type of an option parser.

Option type.

An alias for the type of native integers.

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

A type for level values, usually a polymorphic variant

The type of a lazy list.

An alias for the type of integers.

An alias for the type of integers.

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

the underlying representation is a balanced tree of ranges

Type of the heap

Heap of elements that are compared with Pervasives.compare.

The type of the hashtable keys.

The type of a hashtable.

A Hashtable with keys of type 'a and values 'b

type of the table

A synonym for convenience

Abstract type of a global

A lexer

The type of floating-point numbers.

The type of floating-point numbers.

The type of digests: 16-character strings.

A synonym for convenience

The type of a lock.

The type of a lock.

An alias for the type of characters.

An alias for the type of byte sequences.

The abstract type of buffers.

The type that makes up the bounded range

Private version of BatBounded.S.u to avoid construction of BatBounded.S.t values without using make below.

The type of booleans.

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 of arrays with capabilities.

The type of arrays.

Character type used by t.

The type representing wallclock time and calendar date.

The type of tokens.

A ('minor, 'major) tracker describes how memprof should track sampled blocks over their lifetime, keeping a user-defined piece of metadata for each of them: 'minor is the type of metadata to keep for minor blocks, and 'major the type of metadata for major blocks.

BatBounded.S.base_u after bounding constraints have been applied

Aliases of type t

Type of characters.

A t uref is a reference to a cell that contains a value of type t.

Type of strings used.

Validators should check if all characters of given string can be used in a name (path component).

Flags for Unix.waitpid.

A type meant to avoid duplication of signatures.