Index of types


_bound [Std]
_date [Date.Export]
_ordering [Ordering.Export]
_result [Result.Export]

A
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]
anons [Command.Spec]
a specification of some number of anonymous arguments

B
base [Substring_intf.S]
base [Make_substring.F]
behavior [Signal]
bigstring [Make_substring]
bigstring [Unix.IOVec]
bigstring [Binable0]
bigstring [Binable]
blit [Bigstring]
blit ~src ?src_pos ?src_len ~dst ?dst_pos () blits src_len characters from src starting at position src_pos to dst at position dst_pos.
bound [Interval_intf.S]
bound [Interval_intf.Gen_set]
bound [Interval_intf.Gen]
bound [Comparable_intf]
Used for specifying a bound (either upper or lower) as inclusive, exclusive, or unbounded.
bound [Comparable]
bound_ [Interval_intf.S]
bound_ [Interval_intf.S1]

C
check [Validate]
to make function signatures easier to read
comparator [Comparator.S1]
comparator [Comparator.S_binable]
comparator [Comparator.S]
comparator [Comparable_intf.S_common]
compare [No_polymorphic_compare]
contents [Bucket.S]
contents [Bucket.Make]
control [Gc]
create_options [Hash_set_intf.Creators]
create_options [Core_hashtbl_intf.Creators]
create_options_with_hashable [Core_hashtbl_intf]
create_options_with_hashable_required [Hash_set_intf]
create_options_without_hashable [Hash_set_intf]
create_options_without_hashable [Core_hashtbl_intf]

D
decimal [Common]
The decimal type alias provides more readable serializations to s-expressions, at the cost of lower precision.
dir_handle [Unix]
The type of descriptors over opened directories.
doc [Arg]

E
elt [Hash_set_intf.S]
elt [Hash_set_intf.Creators]
elt [Core_set_intf.Creators0]
elt [Core_set_intf.Creators_generic]
elt [Container.Generic_phantom]
elt [Container.Generic]
elt [Container.S0_phantom]
elt [Container.S0]
elt_ [Hash_set_intf.S]
endian [Binary_packing]
env [Unix]
create_process_env ~prog ~args ~env as create process, but takes an additional parameter that extends, or replaces the current environment.
equal [Type_equal]
just an alias, needed when t gets shadowed below
equal [Equal]
error [Unix.Exit_or_signal_or_stop]
error [Unix.Exit_or_signal]
error [Unix.Exit]
error [Unix]
The type of error codes.
event [Timer]
Type of events.

F
file_kind [Unix]
file_perm [Unix]
flag [Command.Spec]
a flag specification
flow_action [Unix.Terminal_io]
flush_queue [Unix.Terminal_io]
fpclass [Common]

G
gen [Quickcheck]
the type of a random 'a-generator
getaddrinfo_option [Unix]
Options to Unix.getaddrinfo.
getnameinfo_option [Unix]

H
hash_set [Hash_set_intf.S]
hashtbl [Core_hashtbl_intf.S]
heap_el [Heap]
Type of heap elements (they can be efficiently removed)

I
immutable [Common]
interval [Timer]
Type of intervals for repeated events
interval [Interval_intf.Gen_set]
interval_timer [Unix]
The three kinds of interval timers.
interval_timer_status [Unix]
inv [Invariant]

K
key [Piecewise_linear_intf.S]
key [Core_map_intf.Creators1]
key [Core_map_intf.Creators_generic]
key [Core_map_intf.Accessors1]
key [Core_map_intf.Accessors_generic]
key [Core_hashtbl_intf.S]
key [Core_hashtbl_intf.Creators]
key [Core_hashtbl_intf.Accessors]
key [Arg]
key_ [Core_hashtbl_intf.S]
kind [Unix.IOVec]
Kind of I/O-vector buffers

L
limit [Unix.RLimit]
lock_command [Unix]
Commands for Unix.lockf.

M
m [Unit]
m [Binable0]
m [Binable]
map [Core_map_intf.S]
map [Map.Poly]
month [Month.Export]
msg_flag [Unix]
The flags for UnixLabels.recv, UnixLabels.recvfrom, UnixLabels.send and UnixLabels.sendto.

N
name_info [Unix]
Host and service information returned by Unix.getnameinfo.
never_returns [Never_returns]
never_returns [Common]
never_returns should be used as the return type of functions that don't return and might block forever, rather than 'a or _.
no_raise [Sexp]
no_raise is the identity, but by using 'a no_raise in a sexpable type, the resulting use sexp_of_no_raise protects the conversion of 'a to a sexp so that if it fails, one gets a sexp with an error message about the failure, rather than an exception being raised.

O
open_flag [Unix]
options [Core_set_intf.Creators_generic]
options [Core_set_intf.Accessors_generic]
options [Core_map_intf.Creators_generic]
options [Core_map_intf.Accessors_generic]
outer [Float_intf.S]

P
param [Command.Spec]
specification of an individual parameter to the command's main function
partial_sexp [Unpack_buffer.Unpack_one]
Beware that when unpacking sexps, one cannot tell if one is at the end of an atom until one hits punctuation.
phantom [Container]
pid_spec [Signal]
poly_set [Interval_intf.S]
poly_t [Interval_intf.S]
process_times [Unix]
The execution times (CPU times) of a process.

R
read_only [Common]
Types for use as markers in phantom types.
read_write [Common]
repeat [Linux_ext.Timerfd]
resource [Unix.RLimit]
return [With_return]
return [Common]
with_return f allows for something like the return statement in C within f.

S
seek_command [Unix]
POSITIONING modes for UnixLabels.lseek.
select_timeout [Unix]
set [Core_set_intf.S0]
set [Core_set_intf.Creators2_with_comparator]
set [Core_set_intf.Creators2]
set [Core_set_intf.Creators1]
set [Core_set_intf.Creators0]
set [Core_set_intf.Creators_generic]
setattr_when [Unix.Terminal_io]
sexp [Sexp.O]
sexp_array [Std_internal]
sexp_bool [Std_internal]
sexp_list [Std_internal]
sexp_opaque [Std_internal]
sexp_option [Std_internal]
sexp_option [Stable_internal]
shutdown_command [Unix]
The type of commands for shutdown.
sigprocmask_command [Signal]
sockaddr [Unix]
The type of socket addresses.
socket_bool_option [Unix]
The socket options that can be consulted with UnixLabels.getsockopt and modified with UnixLabels.setsockopt.
socket_domain [Unix]
The type of socket domains.
socket_float_option [Unix]
The socket options that can be consulted with UnixLabels.getsockopt_float and modified with UnixLabels.setsockopt_float.
socket_int_option [Unix]
socket_optint_option [Unix]
The socket options that can be consulted with UnixLabels.getsockopt_optint and modified with UnixLabels.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.
stat [Gc]
stats [Unix.Native_file]
The informations returned by the UnixLabels.stat calls.
stats [Unix]
sub [Array]
Array.sub a start len returns a fresh array of length len, containing the elements number start to start + len - 1 of array a.
sys_behavior [Signal]
The default behaviour of the system if these signals trickle to the top level of a program.
sysconf [Unix]
System configuration

T
t [Time]
A fully qualified point in time, independent of timezone.
t [Word_size]
t [Validate]
The result of a validation.
t [Uuid]
t [User_and_group]
t [Unpack_buffer.Unpack_one]
t [Unpack_buffer]
t [Univ_map.Multi.Key]
t [Univ_map.With_fold.Key]
t [Univ_map.With_default.Key]
t [Univ_map.Key]
create name to_sexp generates a fresh key.
t [Univ_map]
t [Univ.Constr]
t [Univ]
t [Unit]
t [Union_find]
type 'a t is the type of objects, where each object is part of an equivalence class that is associated with a single value of type 'a.
t [Type_equal.Injective2]
t [Unique_id_intf.Id]
The sexps and strings look like integers.
t [Type_equal.Id]
t [Type_equal.Injective]
t [Type_equal]
t [Tuple.Hashable_sexpable]
t [Tuple.Comparable_sexpable]
t [Tuple.Make]
t [Tuple.T3]
t [Tuple.T2]
t [Timer]
Type of timers
t [Thread_safe_queue]
t [Zone]
The type of a time-zone.
t [Staged]
t [Stable_unit_test_intf.Unordered_container_arg]
t [Stable_unit_test_intf.Unordered_container_test]
t [Stable_internal.Sexp]
t [Stable_containers.Map.V1]
t [Stable_containers.Hash_set.V1]
t [Stable_containers.Hashtbl.V1]
t [Stable_containers.Set.V1]
t [Zone.Stable.V1]
t [Time.Stable.V1]
t [String_id.Stable.V1]
t [Squeue]
t [Span.Stable.V1]
t [Span.Parts]
t [Span]
t [Source_code_position0]
t [Source_code_position]
t [Signal]
t [Sexpable.S3]
t [Sexpable.S2]
t [Sexpable.S1]
t [Set_once]
t [Stable_unit_test_intf.Arg]
t [Result.Stable.V1]
t [Result]
'a is a function's expected return type, and 'b is often an error message string.
t [Ref.Permissioned]
t [Ref]
t [Pretty_printer.S]
t [Piecewise_linear_intf.Value]
t [Piecewise_linear_intf.Key]
t [Piecewise_linear_intf.S]
t [Pid]
t [Out_channel]
t [Or_error]
t [Ordering]
t [Option]
Options are preferred over exceptions.
t [Only_in_test]
t [Ofday.Stable.V1]
t [Ofday]
t [Nothing0]
t [Nothing.Stable.V1]
t [Nothing]
t [Nano_mutex]
t [Month.Stable.V1]
t [Month]
t [Monad.Infix2]
t [Monad.Basic2]
t [Monad.Basic]
t [Monad.Check_S2_refines_S]
t [Substring_intf.S]
t [Make_substring.Base]
t [Make_substring.F]
t [Make_substring.Blit]
t [Linux_ext.Epoll.Flags]
An Epoll.Flags.t is an immutable set of flags for which one can register interest for a file descriptor.
t [Linux_ext.Epoll]
An Epoll.t maintains a map from File_descr.t to Flags.t, where the domain is the set of file descriptors that one is interested in, and the flags associated with each file descriptor specify the types of events one is interested in being notified about for that file descriptor.
t [Linux_ext.Priority]
t [Linux_ext.Timerfd.Flags]
t [Linux_ext.Timerfd.Clock]
t [Linux_ext.Timerfd]
t [Linux_ext.Clock]
t [Linux_ext.Sysinfo]
Result of sysinfo syscall (man 2 sysinfo)
t [Invariant.S3]
t [Invariant.S2]
t [Invariant.S1]
t [Invariant.S]
t [Invariant]
t [Int_set]
t [Int_intf.S]
t [Interval_intf.S.Set]
t [Interval_intf.S]
t [Interval_intf.Gen_set]
t [Interval_intf.Gen]
t [Interval_intf.S1.Set]
t [Interval_intf.S1]
t [Interval.Stable.V1.Ofday]
t [Interval.Stable.V1.Int]
t [Interval.Stable.V1.Float]
t [Stringable.S]
t [Sexpable.S]
t [Robustly_comparable.S]
t [Monad.Infix]
t [Intable.S]
t [Info]
t [In_channel]
t [Identifiable.S]
t [Host_and_port.Stable.V1]
t [Host_and_port]
t [Heap_block]
t [Heap]
Type of heaps
t [Hash_set_intf.S]
t [Hash_set_intf.Creators]
t [Hash_set.Poly]
t [Hash_set]
t [Hashable.S_binable]
t [Hash_heap.S]
t [Hash_queue.S]
a hash-queue, where the values are of type 'a
t [Hashable.S]
t [Hash_heap.Make]
t [Hash_queue.Make]
t [T.T_bin]
t [T.T3]
t [T.T2]
t [T.T1]
t [T.T]
t [Fqueue]
t [Force_once]
A "force_once" is a thunk that can only be forced once.
t [Float_intf.S.Terse]
t [Float_intf.S.Sign]
t [Float_intf.S.Class]
t [Float_intf.S.Parts]
t [Float_intf.S]
t [Floatable.S]
t [Flags_intf.S]
t [Exn]
t [Equal.S3]
t [Equal.S2]
t [Equal.S1]
t [Equal.S]
t [Equal]
t [Doubly_linked.Elt]
t [Doubly_linked]
t [Dequeue]
t [Day_of_week.Stable.V1]
t [Day_of_week]
t [Date.Stable.V1]
t [Date]
t [Daemon.Fd_redirection]
t [Weak]
t [Unix.Mman.Mcl_flags]
t [Unix.Scheduler.Policy]
t [Unix.Utsname]
t [Unix.Resource_usage]
t [Unix.RLimit]
t [Unix.IOVec]
Representation of I/O-vectors.
t [Unix.Terminal_io]
t [Unix.Service]
Structure of entries in the services database.
t [Unix.Protocol]
Structure of entries in the protocols database.
t [Unix.Host]
Structure of entries in the hosts database.
t [Unix.Cidr]
t [Unix.Inet_addr]
t [Unix.Protocol_family]
t [Unix.Group]
t [Unix.Passwd]
t [Unix.Select_fds]
t [Unix.Process_channels]
t [Unix.Process_info]
t [Unix.Flock_command]
t [Unix.Open_flags]
Open_flags.t represents the flags associated with a file descriptor in the open-file-descriptor table.
t [Unix.Exit_or_signal_or_stop]
t [Unix.Exit_or_signal]
t [Unix.Exit]
t [Unix.Error]
t [Unix.File_descr]
t [Thread]
The type of thread handles.
t [String]
t [Stack]
t [Sexp.Sexp_maybe]
t [Sexp.Sexp_opaque]
t [Sexp.Sexp_array]
t [Sexp.Sexp_list]
t [Sexp.Sexp_option]
t [Sexp]
t [Core_set_intf.S0.Tree]
t [Core_set_intf.S0]
t [Core_set_intf.Creators2_with_comparator]
t [Core_set_intf.Creators2]
t [Core_set_intf.Creators1]
t [Core_set_intf.Creators0]
t [Core_set_intf.Creators_generic]
t [Set.Poly.Tree]
t [Set.Poly]
t [Set.Tree]
t [Set]
t [Queue]
t [Mutex]
t [Core_map_intf.S.Tree]
t [Core_map_intf.S]
t [Core_map_intf.Creators3_with_comparator]
t [Core_map_intf.Creators2]
t [Core_map_intf.Creators1]
t [Core_map_intf.Creators_generic]
t [Core_map_intf.Accessors3_with_comparator]
t [Core_map_intf.Accessors3]
t [Core_map_intf.Accessors2]
t [Core_map_intf.Accessors1]
t [Core_map_intf.Accessors_generic]
t [Core_map_intf.With_comparator]
t [Core_map_intf.Without_comparator]
t [Map.Poly.Tree]
t [Map.Poly]
t [Map.Tree]
t [Map]
t [List.Assoc]
t [List]
t [Lazy]
t [Core_hashtbl_intf.S]
t [Core_hashtbl_intf.Creators]
t [Core_hashtbl_intf.Accessors]
t [Core_hashtbl_intf.Key_binable]
t [Core_hashtbl_intf.Key]
t [Hashtbl.Poly]
t [Core_hashtbl_intf.Hashable]
t [Hashtbl]
t [Gc.Control]
t [Gc.Stat]
t [Condition]
t [Char]
An alias for the type of characters.
t [Bin_prot.Writer]
t [Array]
t [Arg]
t [Container.Generic_phantom]
t [Container.Generic]
t [Container.S1_phantom_invariant]
t [Container.S1_phantom]
t [Container.S1]
t [Container.S0_phantom]
t [Container.S0]
t [Container.T]
t [Constrained_float.S]
t [Comparator.Pre_binable]
t [Comparator.Pre]
t [Comparator.S1]
t [Comparator]
t [Polymorphic_compare_intf.Infix]
t [Comparable_intf.With_zero]
t [Comparable_intf.Validate]
t [Comparable_intf.Map_and_set_binable]
t [Commutative_group.S]
t [Command.Spec.Arg_type]
the type of a command line argument
t [Command.Spec]
composable command-line specifications
t [Command]
commands which can be combined into a hierarchy of subcommands
t [Byte_units.Measure]
t [Byte_units]
t [Bucket.S]
t [Bucket.Contents]
t [Bucket.Make]
t [Bounded_int_table.With_key]
Serialization of a bounded int table using bin_io or sexp preserves num_keys, but only takes space proportional to the length of the table.
t [Bounded_int_table]
t [Bool]
t [Blang.Stable.V1]
t [Blang]
t [Bigstring]
Type of bigstrings
t [Bigbuffer]
The abstract type of buffers.
t [Bag.Elt]
t [Bag]
t [Backtrace]
A Backtrace.t is a snapshot of the stack obtained by calling Backtrace.get.
t [Avltree]
t [Random.State]
t_ [Interval_intf.S.Set]
t_ [Interval_intf.S]
t_ [Hash_set_intf.S]
t_ [Core_hashtbl_intf.S]
t_ [Comparator]
table [Bounded_int_table]
tcp_bool_option [Linux_ext]
tm [Unix]
The type representing wallclock time and calendar date.
tree [Core_set_intf.S0]
tree [Core_set_intf.Creators2_with_comparator]
tree [Core_set_intf.Creators2]
tree [Core_set_intf.Creators1]
tree [Core_set_intf.Creators0]
tree [Core_set_intf.Creators_generic]
tree [Core_set_intf.Accessors2_with_comparator]
tree [Core_set_intf.Accessors2]
tree [Core_set_intf.Accessors1]
tree [Core_set_intf.Accessors0]
tree [Core_set_intf.Accessors_generic]
tree [Core_map_intf.S]
tree [Core_map_intf.Creators3_with_comparator]
tree [Core_map_intf.Creators2]
tree [Core_map_intf.Creators1]
tree [Core_map_intf.Creators_generic]
tree [Core_map_intf.Accessors3_with_comparator]
tree [Core_map_intf.Accessors3]
tree [Core_map_intf.Accessors2]
tree [Core_map_intf.Accessors1]
tree [Core_map_intf.Accessors_generic]

U
usage_msg [Arg]

V
value [Piecewise_linear_intf.S]
variant [Day_of_week]

W
wait_on [Unix]
with_create_args [Out_channel]