Index of types

A
acc [CamlinternalFormat]
acc_formatting_gen [CamlinternalFormat]
access_permission [UnixLabels]

Flags for the UnixLabels.access call.

access_permission [Unix]

Flags for the Unix.access call.

addr_info [UnixLabels]

Address information returned by Unix.getaddrinfo.

addr_info [Unix]

Address information returned by Unix.getaddrinfo.

alarm [Gc]

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

anon_fun [Arg]
arg_label [Asttypes]
ast_kind [Pparse]
attribute [Parsetree]
attributes [Parsetree]
attrs [Ast_helper]
B
backend_type [Sys]

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

backtrace_slot [Printexc]

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

block_type [CamlinternalFormatBasics]
bound_map [Depend]
C
c_layout [Bigarray]
case [Parsetree]
channel [Event]

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

char_set [CamlinternalFormatBasics]
class_declaration [Parsetree]
class_description [Parsetree]
class_expr [Parsetree]
class_expr_desc [Parsetree]
class_field [Parsetree]
class_field_desc [Parsetree]
class_field_kind [Parsetree]
class_infos [Parsetree]
class_signature [Parsetree]
class_structure [Parsetree]
class_type [Parsetree]
class_type_declaration [Parsetree]
class_type_desc [Parsetree]
class_type_field [Parsetree]
class_type_field_desc [Parsetree]
closed_flag [Asttypes]
closure [CamlinternalOO]
color [Misc.Color]
color [Graphics]

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

column [Profile]
complex32_elt [Bigarray]
complex64_elt [Bigarray]
component [Strongly_connected_components.S]
constant [Parsetree]
constant [Asttypes]
constructor_arguments [Parsetree]
constructor_declaration [Parsetree]
control [Gc]

The GC parameters are given as a control record.

core_type [Parsetree]
core_type_desc [Parsetree]
counter [CamlinternalFormatBasics]
custom_arity [CamlinternalFormatBasics]
D
data [Weak.S]

The type of the elements stored in the table.

dir_handle [UnixLabels]

The type of descriptors over opened directories.

dir_handle [Unix]

The type of descriptors over opened directories.

directed_graph [Strongly_connected_components.S]

If (a -> set) belongs to the map, it means that there are edges from a to every element of set.

direction_flag [Asttypes]
directive_argument [Parsetree]
doc [Arg]
docs [Docstrings]
docstring [Docstrings]

Documentation comments

E
elt [MoreLabels.Set.S]
elt [Set.S]

The type of the set elements.

equal [Ephemeron.GenHashTable]
error [UnixLabels]

The type of error codes.

error [Unix]

The type of error codes.

error [Typemod]
error [Syntaxerr]
error [Pparse]
error [Location]
error [Lexer]
error [Dynlink]
error [Attr_helper]
error_message [Build_path_prefix_map]
event [Graphics]

To specify events to wait for.

event [Event]

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

expression [Parsetree]
expression_desc [Parsetree]
extension [Parsetree]
extension_constructor [Parsetree]
extension_constructor_kind [Parsetree]
extern_flags [Marshal]

The flags to the Marshal.to_* functions below.

F
file [Profile]
file_descr [UnixLabels]

The abstract type of file descriptors.

file_descr [Unix]

The abstract type of file descriptors.

file_kind [UnixLabels]
file_kind [Unix]
file_name [Scanf.Scanning]

A convenient alias to designate a file name.

file_perm [UnixLabels]

The type of file access rights, e.g.

file_perm [Unix]

The type of file access rights, e.g.

float32_elt [Bigarray]
float64_elt [Bigarray]
float_conv [CamlinternalFormatBasics]
flow_action [UnixLabels]
flow_action [Unix]
flush_queue [UnixLabels]
flush_queue [Unix]
fmt [CamlinternalFormatBasics]

List of format elements.

fmt_ebb [CamlinternalFormat]
fmtty [CamlinternalFormatBasics]
fmtty_rel [CamlinternalFormatBasics]
format [Pervasives]
format4 [Pervasives]
format6 [Pervasives]
format6 [CamlinternalFormatBasics]
formatter [Format]

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

formatter_out_functions [Format]

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.

formatter_tag_functions [Format]

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.

formatting_gen [CamlinternalFormatBasics]
formatting_lit [CamlinternalFormatBasics]
fortran_layout [Bigarray]

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.

fpclass [Pervasives]

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

fpclass [Float]

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

G
getaddrinfo_option [UnixLabels]

Options to Unix.getaddrinfo.

getaddrinfo_option [Unix]

Options to Unix.getaddrinfo.

getnameinfo_option [UnixLabels]

Options to Unix.getnameinfo.

getnameinfo_option [Unix]

Options to Unix.getnameinfo.

group_entry [UnixLabels]

Structure of entries in the groups database.

group_entry [Unix]

Structure of entries in the groups database.

H
heter_list [CamlinternalFormat]
hook_info [Misc]
host_entry [UnixLabels]

Structure of entries in the hosts database.

host_entry [Unix]

Structure of entries in the hosts database.

I
ignored [CamlinternalFormatBasics]
image [Graphics]

The abstract type for images, in internal representation.

impl [CamlinternalOO]
in_channel [Scanf.Scanning]

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.

in_channel [Pervasives]

The type of input channel.

include_declaration [Parsetree]
include_description [Parsetree]
include_infos [Parsetree]
inet_addr [UnixLabels]

The abstract type of Internet addresses.

inet_addr [Unix]

The abstract type of Internet addresses.

info [Docstrings]
init_table [CamlinternalOO]
inlining_arguments [Clflags]
int16_signed_elt [Bigarray]
int16_unsigned_elt [Bigarray]
int32_elt [Bigarray]
int64_elt [Bigarray]
int8_signed_elt [Bigarray]
int8_unsigned_elt [Bigarray]
int_conv [CamlinternalFormatBasics]
int_elt [Bigarray]
interval_timer [UnixLabels]

The three kinds of interval timers.

interval_timer [Unix]

The three kinds of interval timers.

interval_timer_status [UnixLabels]

The type describing the status of an interval timer

interval_timer_status [Unix]

The type describing the status of an interval timer

iterator [Ast_iterator]

A iterator record implements one "method" per syntactic category, using an open recursion style: each method takes as its first argument the iterator to be applied to children in the syntax tree.

K
key [MoreLabels.Map.S]
key [MoreLabels.Hashtbl.SeededS]
key [MoreLabels.Hashtbl.S]
key [Hashtbl.SeededS]
key [Hashtbl.S]
key [Map.S]

The type of the map keys.

key [Arg]
kind [Bigarray]

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.

L
label [CamlinternalOO]
label [Asttypes]
label_declaration [Parsetree]
layout [Bigarray]
lexbuf [Lexing]

The type of lexer buffers.

lid [Ast_helper]
link_mode [Ccomp]
linking_error [Dynlink]
loc [Warnings]
loc [Location]
loc [Asttypes]
loc [Ast_helper]
location [Printexc]

The type of location information found in backtraces.

lock_command [UnixLabels]

Commands for UnixLabels.lockf.

lock_command [Unix]

Commands for Unix.lockf.

M
map [Build_path_prefix_map]
map_tree [Depend]
mapper [Ast_mapper]

A mapper record implements one "method" per syntactic category, using an open recursion style: each method takes as its first argument the mapper to be applied to children in the syntax tree.

meth [CamlinternalOO]
module_binding [Parsetree]
module_declaration [Parsetree]
module_expr [Parsetree]
module_expr_desc [Parsetree]
module_type [Parsetree]
module_type_declaration [Parsetree]
module_type_desc [Parsetree]
msg_flag [UnixLabels]
msg_flag [Unix]
mutable_char_set [CamlinternalFormat]
mutable_flag [Asttypes]
N
name_info [UnixLabels]

Host and service information returned by Unix.getnameinfo.

name_info [Unix]

Host and service information returned by Unix.getnameinfo.

nativeint_elt [Bigarray]
node [Seq]
O
obj [CamlinternalOO]
obj_t [Obj.Ephemeron]

alias for Obj.t

object_field [Parsetree]
open_description [Parsetree]
open_flag [UnixLabels]

The flags to UnixLabels.openfile.

open_flag [Unix]

The flags to Unix.openfile.

open_flag [Pervasives]

Opening modes for open_out_gen and open_in_gen.

out_channel [Pervasives]

The type of output channel.

override_flag [Asttypes]
P
package_type [Parsetree]
pad_option [CamlinternalFormatBasics]
padding [CamlinternalFormatBasics]
padty [CamlinternalFormatBasics]
pair [Build_path_prefix_map]
param_format_ebb [CamlinternalFormat]
params [CamlinternalOO]
parse_result [Clflags.Float_arg_helper]
parse_result [Clflags.Int_arg_helper]
parse_result [Arg_helper.Make]
parsed [Clflags.Float_arg_helper]
parsed [Clflags.Int_arg_helper]
parsed [Arg_helper.Make]
passwd_entry [UnixLabels]

Structure of entries in the passwd database.

passwd_entry [Unix]

Structure of entries in the passwd database.

path [Build_path_prefix_map]
path_prefix [Build_path_prefix_map]
pattern [Parsetree]
pattern_desc [Parsetree]
payload [Parsetree]
position [Lexing]

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

prec_option [CamlinternalFormatBasics]
precision [CamlinternalFormatBasics]
private_flag [Asttypes]
process_status [UnixLabels]

The termination status of a process.

process_status [Unix]

The termination status of a process.

process_times [UnixLabels]

The execution times (CPU times) of a process.

process_times [Unix]

The execution times (CPU times) of a process.

protocol_entry [UnixLabels]

Structure of entries in the protocols database.

protocol_entry [Unix]

Structure of entries in the protocols database.

R
raw_backtrace [Printexc]

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.

raw_backtrace_slot [Printexc]

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

rec_flag [Asttypes]
ref [Pervasives]

The type of references (mutable indirection cells) containing a value of type 'a.

ref_and_value [Misc]
regexp [Str]

The type of compiled regular expressions.

reporting_information [Warnings]
repr [Targetint]
result [Pervasives]
row_field [Parsetree]
S
scanbuf [Scanf.Scanning]

The type of scanning buffers.

scanner [Scanf]

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.

seek_command [UnixLabels]

Positioning modes for UnixLabels.lseek.

seek_command [Unix]

Positioning modes for Unix.lseek.

service_entry [UnixLabels]

Structure of entries in the services database.

service_entry [Unix]

Structure of entries in the services database.

setattr_when [UnixLabels]
setattr_when [Unix]
setting [Misc.Color]
shape [CamlinternalMod]
shutdown_command [UnixLabels]

The type of commands for shutdown.

shutdown_command [Unix]

The type of commands for shutdown.

signal_behavior [Sys]

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.

signature [Parsetree]
signature_item [Parsetree]
signature_item_desc [Parsetree]
sigprocmask_command [UnixLabels]
sigprocmask_command [Unix]
sockaddr [UnixLabels]
sockaddr [Unix]
socket_bool_option [UnixLabels]

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

socket_bool_option [Unix]

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

socket_domain [UnixLabels]

The type of socket domains.

socket_domain [Unix]

The type of socket domains.

socket_float_option [UnixLabels]

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

socket_float_option [Unix]

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

socket_int_option [UnixLabels]

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

socket_int_option [Unix]

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

socket_optint_option [UnixLabels]

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

socket_optint_option [Unix]

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

socket_type [UnixLabels]

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

socket_type [Unix]

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

space_formatter [Pprintast]
spec [Arg]

The concrete type describing the behavior associated with a keyword.

split_result [Str]
stat [Gc]

The memory management counters are returned in a stat record.

state [Warnings]
statistics [MoreLabels.Hashtbl]
statistics [Hashtbl]
stats [UnixLabels.LargeFile]
stats [UnixLabels]

The information returned by the UnixLabels.stat calls.

stats [Unix.LargeFile]
stats [Unix]

The information returned by the Unix.stat calls.

stats [CamlinternalOO]
status [Terminfo]
status [Graphics]

To report events.

str [Ast_helper]
structure [Parsetree]
structure_item [Parsetree]
structure_item_desc [Parsetree]
style [Misc.Color]
styles [Misc.Color]
symbolic_output_buffer [Format]

The output buffer of a symbolic pretty-printer.

symbolic_output_item [Format]

Items produced by symbolic pretty-printers

T
t [Weak.S]

The type of tables that contain elements of type data.

t [Weak]

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

t [Warnings]
t [Uchar]

The type for Unicode characters.

t [Thread]

The type of thread handles.

t [Tbl]
t [Targetint]

The type of target integers.

t [String]

An alias for the type of strings.

t [Stream]

The type of streams holding values of type 'a.

t [StringLabels]

An alias for the type of strings.

t [Stack]

The type of stacks containing elements of type 'a.

t [Spacetime.Series]

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

t [Seq]

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

t [Random.State]

The type of PRNG states.

t [Queue]

The type of queues containing elements of type 'a.

t [Printexc.Slot]
t [Obj.Ephemeron]

an ephemeron cf Ephemeron

t [Obj]
t [Numbers.Int16]
t [Numbers.Int8]
t [Nativeint]

An alias for the type of native integers.

t [Mutex]

The type of mutexes.

t [MoreLabels.Set.S]
t [MoreLabels.Map.S]
t [MoreLabels.Hashtbl.SeededS]
t [MoreLabels.Hashtbl.S]
t [MoreLabels.Hashtbl]
t [Misc.HookSig]
t [Misc.LongString]
t [Misc.Stdlib.Option]
t [Misc.Stdlib.List]
t [Longident]
t [Location]
t [Lazy]

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

t [Int64]

An alias for the type of 64-bit integers.

t [Int32]

An alias for the type of 32-bit integers.

t [Identifiable.Tbl.T]
t [Map.OrderedType]

The type of the map keys.

t [Set.OrderedType]

The type of the set elements.

t [Identifiable.S]
t [Identifiable.Thing]
t [Hashtbl.SeededHashedType]

The type of the hashtable keys.

t [Hashtbl.HashedType]

The type of the hashtable keys.

t [Hashtbl.SeededS]
t [Hashtbl.S]
t [Hashtbl]

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

t [Float.Array]
t [Float]

An alias for the type of floating-point numbers.

t [Ephemeron.Kn]

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

t [Ephemeron.K2]

an ephemeron with two keys

t [Ephemeron.K1]

an ephemeron with one key

t [Digest]

The type of digests: 16-character strings.

t [Map.S]

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

t [Set.S]

The type of sets.

t [Consistbl]
t [Condition]

The type of condition variables.

t [Complex]

The type of complex numbers.

t [Char]

An alias for the type of characters.

t [CamlinternalOO]
t [BytesLabels]

An alias for the type of byte sequences.

t [Bytes]

An alias for the type of byte sequences.

t [Buffer]

The abstract type of buffers.

t [Bigarray.Array3]

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

t [Bigarray.Array2]

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

t [Bigarray.Array1]

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

t [Bigarray.Array0]

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

t [Bigarray.Genarray]

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

table [CamlinternalOO]
tables [CamlinternalOO]
tag [Format]
tag [CamlinternalOO]
terminal_io [UnixLabels]
terminal_io [Unix]
text [Docstrings]
tm [UnixLabels]

The type representing wallclock time and calendar date.

tm [Unix]

The type representing wallclock time and calendar date.

token [Parser]
token [Genlex]

The type of tokens.

toplevel_phrase [Parsetree]
type_declaration [Parsetree]
type_extension [Parsetree]
type_kind [Parsetree]
U
usage_msg [Arg]
V
value_binding [Parsetree]
value_description [Parsetree]
variance [Asttypes]
virtual_flag [Asttypes]
W
wait_flag [UnixLabels]

Flags for UnixLabels.waitpid.

wait_flag [Unix]

Flags for Unix.waitpid.

window_id [GraphicsX11]
with_constraint [Parsetree]