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.
am_pm [JavaCalendar]
Whether the hour is before or after noon.
anon_fun [Arg]
awt [JavaApplet]
Shorthand for the type of AWT applets.

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.
day [JavaCalendar]
The different day values.
dir_handle [Unix]
The type of descriptors over opened directories.
doc [Arg]

E
 
e [JavaShortArray]
The type of array elements.
e [JavaLongArray]
The type of array elements.
e [JavaIntArray]
The type of array elements.
e [JavaFloatArray]
The type of array elements.
e [JavaDoubleArray]
The type of array elements.
e [JavaCharArray]
The type of array elements.
e [JavaByteArray]
The type of array elements.
e [JavaBooleanArray]
The type of array elements.
e [JavaArraySignature.T]
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
 
field [JavaCalendar]
The different fields of a calendar.
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]
format [JavaDate]
The type of date formats.
format4 [Pervasives]
Format strings have a general and highly polymorphic type ('a, 'b, 'c, 'd, 'e, 'f) format6.
format_style [JavaDate]
The type of format styles.
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
 
generic [JavaServlet]
Shorthand for the type of generic servlets.
getaddrinfo_option [Unix]
Options to Unix.getaddrinfo.
getnameinfo_option [Unix]
Options to Unix.getnameinfo.
graphics_event [JavaApplet]
Equivalent to Graphics.status, copied to avoid dependency.
group_entry [Unix]
Structure of entries in the groups database.

H
 
host_entry [Unix]
Structure of entries in the hosts database.
http [JavaServlet]
Shorthand for the type of HTTP servlets.
http_request [JavaServlet]
Shorthand for the type of requests to HTTP servlets.
http_response [JavaServlet]
Shorthand for the type of responses to HTTP servlets.
http_session_binding_event [JavaServlet]
Shorthand for the type of session binding events.
http_session_event [JavaServlet]
Shorthand for the type of session events.

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.
index [AtomicReferenceArray]
The type of array indices.
index [AtomicInt64Array]
The type of array indices.
index [AtomicInt32Array]
The type of array indices.
inet_addr [Unix]
The abstract type of Internet addresses.
init_table [CamlinternalOO]
input [MapReduce.Computation]
The type of input values.
input [MapReduce.S]
The type of input values.
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 [MapReduce.Computation]
The type of keys.
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
 
mark [AtomicMarkableReference]
The type of marks.
meth [CamlinternalOO]
month [JavaCalendar]
The different month values.
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.
output [MapReduce.Computation]
The type of output values.
output [MapReduce.S]
The type of output values.

P
 
parameter [JavaApplet]
The type of parameters, describing parameters accepted by an applet.
parameter_info [JavaApplet]
The type of parameter info, as returned by the getParameterInfo(...) method.
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 [STM]
The type of values protected by transactions, should store only immutable values.
ref [Pervasives]
The type of references (mutable indirection cells) containing a value of type 'a.
regexp [Str]
The type of compiled regular expressions.
request [JavaServlet]
Shorthand for the type of requests to generic servlets.
response [JavaServlet]
Shorthand for the type of responses to generic servlets.

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.
servlet_context_attribute_event [JavaServlet]
Shorthand for the type of context attribute events.
servlet_context_event [JavaServlet]
Shorthand for the type of context events.
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]
stamp [AtomicStampedReference]
The type of stamps.
stat [Gc]
The memory management counters are returned in a stat record.
state [Thread]
The type of thread states; see java.lang.Thread.State.
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.
swing [JavaApplet]
Shorthand for the type of Swing applets.

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 [TimeUnit]
The type of units used to express durations (e.g.
t [ThreadPoolExecutor]
The type of thread pools to be used for futures.
t [ThreadLocal]
The type of thread-local variables, providing an independent value to each thread.
t [ThreadGroup]
The type of thread groups, that are sets of threads organized into a hierarchy (every group except the initial one has a parent).
t [Thread]
The type of threads.
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 [Semaphore]
The type of semaphores, each maintaining a set of available permits.
t [ScheduledThreadPoolExecutor]
The type of thread pools to be used for scheduled futures.
t [ScheduledFuture]
The type of futures, that are computations run in background with a delay.
t [RejectedExecutionHandler]
The type of policies for blocked executions, that is when thread and queue bounds have been reached.
t [ReadWriteLock]
The type of read/write locks that are indeed peirs of associated locks where the read lock can be held simultaneously by any number of threads as long as the write lock is available, while the write lock can be help by at most one thread at a time.
t [Random.State]
The type of PRNG states.
t [Queue]
The type of queues containing elements of type 'a.
t [Phaser]
The type of phasers, differing from coutdown latches and cyclic barriers by the fact that parties explicitly register.
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 [Lock]
The type of (reentrant) locks.
t [Lazy]
A value of type 'a Lazy.t is a deferred computation, called a suspension, that has a result of type 'a.
t [JavaTimeZone]
The type of time zones.
t [JavaThrowable]
The type of throwables.
t [JavaStringBuilder]
The type of string builders.
t [JavaString.OCaml]
Similar to String.t.
t [JavaString]
The type of strings.
t [JavaShortArray]
The type of arrays.
t [JavaShort]
The type of wrappers for short values.
t [JavaServlet.HTTP]
The type of values stored by servlets.
t [JavaServlet.Generic]
The type of values stored by servlets.
t [JavaRuntime]
The type of runtime instances.
t [JavaReferenceArray]
The type of arrays.
t [JavaRandom]
The type of pseudorandom number generators.
t [JavaProperties]
The type of properties.
t [JavaObject]
The type of objects.
t [JavaLongArray]
The type of arrays.
t [JavaLong]
The type of wrappers for long values.
t [JavaLocale]
The type of locales.
t [JavaIntArray]
The type of arrays.
t [JavaInt]
The type of wrappers for integer values.
t [JavaFloatArray]
The type of arrays.
t [JavaFloat]
The type of wrappers for float values.
t [JavaException]
The type of exceptions.
t [JavaError]
The type of errors.
t [JavaDoubleArray]
The type of arrays.
t [JavaDouble]
The type of wrappers for double values.
t [JavaDate]
The type of dates.
t [JavaCharArray]
The type of arrays.
t [JavaChar]
The type of wrappers for character values.
t [JavaCalendar]
The type of calendars.
t [JavaByteArray]
The type of arrays.
t [JavaByte]
The type of wrappers for byte values.
t [JavaBooleanArray]
The type of arrays.
t [JavaBoolean]
The type of wrappers for boolean values.
t [JavaArraySignature.T]
t [JavaArray]
The type of unspecialized arrays, that are wrappers around specialized ones.
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 [Future]
The type of futures, that are computations run in background.
t [ForkJoinPool]
The type of thread pools to be used for fork/join computations.
t [ExecutorCompletionService]
The type of completion services, providing utilities to wait for future completions.
t [Exchanger]
The type of exchangers, allowing two threads to swap values.
t [Digest]
The type of digests: 16-character strings.
t [CyclicBarrier]
The type of cyclic barriers, that are barriers possibly re-used once all waiting threads have restarted.
t [CountDownLatch]
The type of countdown latches, that are barrier-like synchronization entities.
t [Condition]
The type of conditions, constructed from Lock values.
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.
t [AtomicStampedReference]
The type of atomic containers for stamped values.
t [AtomicReferenceArray]
The type of atomic containers for arrays values.
t [AtomicReference]
The type of atomic containers for values.
t [AtomicMarkableReference]
The type of atomic containers for markable values.
t [AtomicInt64Array]
The type of atomic containers for arrays of int64 values.
t [AtomicInt64]
The type of atomic containers for int64 values.
t [AtomicInt32Array]
The type of atomic containers for arrays of int32 values.
t [AtomicInt32]
The type of atomic containers for int32 values.
t [AtomicBool]
The type of atomic containers for bool values.
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]

V
 
value [MapReduce.Computation]
The type of values.

W
 
wait_flag [Unix]
Flags for Unix.waitpid.