Index of types


A
 
access_permission [Unix]
Flags for the Unix.access call.
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]

B
 
big_int [Big_int]
The type of big integers.

C
 
c_layout [Bigarray]
closure [CamlinternalOO]
color [Graphics]
A color is specified by its R, G, B components.
complex32_elt [Bigarray]
complex64_elt [Bigarray]
control [Gc]
The GC parameters are given as a control record.

D
 
data [Weak.S]
The type of the elements stored in the table.
dir_handle [Unix]
The type of descriptors over opened directories.
doc [Arg]

E
 
elt [Set.S]
The type of the set elements.
elt [MoreLabels.Set.S]
error [Unix]
The type of error codes.
error [Dynlink]
event [Graphics]
To specify events to wait for.
extern_flags [Marshal]
The flags to the Marshal.to_* functions below.

F
 
file_descr [Unix]
The abstract type of file descriptors.
file_kind [Unix]
file_name [Scanf.Scanning]
A convenient alias to designate a file name.
file_perm [Unix]
The type of file access rights, e.g.
float32_elt [Bigarray]
float64_elt [Bigarray]
flow_action [Unix]
flush_queue [Unix]
format [Pervasives]
format4 [Pervasives]
Format strings have a general and highly polymorphic type ('a, 'b, 'c, 'd, 'e, 'f) format6.
formatter [Format]
Abstract data corresponding to a pretty-printer (also called a formatter) and all its machinery.
formatter_out_functions [Format]
formatter_tag_functions [Format]
The 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 flush those markers as 0 length tokens in the output device of the formatter.
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 Pervasives.classify_float function.

G
 
getaddrinfo_option [Unix]
Options to Unix.getaddrinfo.
getnameinfo_option [Unix]
Options to Unix.getnameinfo.
group_entry [Unix]
Structure of entries in the groups database.

H
 
host_entry [Unix]
Structure of entries in the hosts database.

I
 
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 a given Pervasives.in_channel value.
in_channel [Pervasives]
The type of input channel.
inet_addr [Unix]
The abstract type of Internet addresses.
init_table [CamlinternalOO]
int16_signed_elt [Bigarray]
int16_unsigned_elt [Bigarray]
int32_elt [Bigarray]
int64_elt [Bigarray]
int8_signed_elt [Bigarray]
int8_unsigned_elt [Bigarray]
int_elt [Bigarray]
interval_timer [Unix]
The three kinds of interval timers.
interval_timer_status [Unix]
The type describing the status of an interval timer

K
 
key [MoreLabels.Map.S]
key [MoreLabels.Hashtbl.SeededS]
key [MoreLabels.Hashtbl.S]
key [Map.S]
The type of the map keys.
key [Hashtbl.SeededS]
key [Hashtbl.S]
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]
layout [Bigarray]
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.
lexbuf [Lexing]
The type of lexer buffers.
linking_error [Dynlink]
lock_command [Unix]
Commands for Unix.lockf.

M
 
meth [CamlinternalOO]
msg_flag [Unix]

N
 
name_info [Unix]
Name of service or port number
nat [Nat]
nativeint_elt [Bigarray]
num [Num]
The type of numbers.

O
 
obj [CamlinternalOO]
open_flag [Unix]
open_flag [Pervasives]
out_channel [Pervasives]
The type of output channel.

P
 
params [CamlinternalOO]
passwd_entry [Unix]
Structure of entries in the passwd database.
position [Lexing]
A value of type position describes a point in a source file.
process_status [Unix]
The termination status of a process.
process_times [Unix]
The execution times (CPU times) of a process.
protocol_entry [Unix]
Structure of entries in the protocols database.

R
 
ratio [Ratio]
raw_backtrace [Printexc]
ref [Pervasives]
The type of references (mutable indirection cells) containing a value of type 'a.
regexp [Str]
The type of compiled regular expressions.

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 the arguments specified by the format string fmt, when scan has read those arguments from the formatted input channel ic.
seek_command [Unix]
Positioning modes for Unix.lseek.
service_entry [Unix]
Structure of entries in the services database.
setattr_when [Unix]
shape [CamlinternalMod]
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.
sigprocmask_command [Unix]
sockaddr [Unix]
socket_bool_option [Unix]
The socket options that can be consulted with Unix.getsockopt and modified with Unix.setsockopt.
socket_domain [Unix]
The type of socket domains.
socket_float_option [Unix]
The socket options that can be consulted with Unix.getsockopt_float and modified with Unix.setsockopt_float.
socket_int_option [Unix]
The socket options that can be consulted with Unix.getsockopt_int and modified with Unix.setsockopt_int.
socket_optint_option [Unix]
The socket options that can be consulted with Unix.getsockopt_optint and modified with Unix.setsockopt_optint.
socket_type [Unix]
The type of socket kinds, specifying the semantics of communications.
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.
statistics [MoreLabels.Hashtbl]
statistics [Hashtbl]
stats [Unix.LargeFile]
stats [Unix]
The information returned by the Unix.stat calls.
stats [CamlinternalOO]
status [Graphics]
To report events.

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 [StringLabels]
An alias for the type of strings.
t [String]
An alias for the type of strings.
t [Stream]
The type of streams holding values of type 'a.
t [StdLabels.String]
t [Stack]
The type of stacks containing elements of type 'a.
t [Set.S]
The type of sets.
t [Random.State]
The type of PRNG states.
t [Queue]
The type of queues containing elements of type 'a.
t [Obj]
t [Nativeint]
An alias for the type of native integers.
t [Set.OrderedType]
The type of the set elements.
t [MoreLabels.Set.S]
t [MoreLabels.Map.S]
t [MoreLabels.Hashtbl.SeededS]
t [MoreLabels.Hashtbl.S]
t [MoreLabels.Hashtbl]
t [Map.OrderedType]
The type of the map keys.
t [Map.S]
The type of maps from type key to type 'a.
t [Lazy]
A value of type 'a 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 [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 [Digest]
The type of digests: 16-character strings.
t [Complex]
The type of complex numbers.
t [Char]
An alias for the type of characters.
t [CamlinternalOO]
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.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 [Unix]
tm [Unix]
The type representing wallclock time and calendar date.
token [Genlex]
The type of tokens.

U
 
usage_msg [Arg]

W
 
wait_flag [Unix]
Flags for Unix.waitpid.