Index of types


_date [Date.Export]
_result [Result.Export]

A
access_permission [Core_unix]
Flags for the UnixLabels.access call.
addr_info [Core_unix]
Address information returned by Unix.getaddrinfo.
alarm [Core_gc]
An alarm is a piece of data that calls a user function at the end of each major GC cycle.
anon_fun [Core_arg]

B
base [Substring_intf.S]
base [Make_substring.F]
behavior [Signal]
bigstring [Make_substring]
bigstring [Core_unix.IOVec]
binable [Bucket.Make]
bound [Interval_intf.T_set]
bound [Interval_intf.T]
bound [Interval_intf.S]
bound [Common]

C
comparable [Comparable.Infix]
comparable [Comparable.Inherit]
comparable [Comparable.Make_common]
comparable [Comparable.Poly]
container [Hash_queue.Make]
container [Container.S1_phantom_noclass]
container [Container.S1_noclass]
container [Container.S0_phantom_noclass]
container [Container.S0_noclass]
contents [Bucket.S]
contents [Bucket.Make]
control [Core_gc]

D
decimal [Common]
dir_handle [Core_unix]
The type of descriptors over opened directories.
doc [Core_arg]

E
elem [Hash_set_intf.S_binable]
elem [Hash_set_intf.S]
elem [Hash_set.Make_binable]
elem [Hash_set.Make]
elt [Container.S0_phantom_noclass]
elt [Container.S0_noclass]
elt [Core_set_intf.Types]
elt [Core_set_intf.S]
elt [Algebraic_group.S]
endian [Binary_packing]
error [Core_unix]
The type of error codes.
error_type [Linebuf]
event [Timer]
Type of events.

F
file_descr [Core_unix]
The abstract type of file descriptors.
file_kind [Core_unix]
file_perm [Core_unix]
The type of file access rights.
floatable [Floatable.S]
flow_action [Core_unix.Terminal_io]
flush_queue [Core_unix.Terminal_io]
fold [Container]

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

H
hash_set [Hash_set]
hashable [Hashable.S_binable]
hashable [Hashable.S]
hashable [Hashable.Make_binable]
hashable [Hashable.Make]
hashable [Core_hashtbl_intf]
heap_el [Heap]
Type of heap elements (they can be efficiently removed)

I
identifiable [Identifiable.S]
identifiable [Core_string]
immutable [Common]
inet_addr [Core_unix]
The abstract type of Internet addresses.
int_spec [Int_conversions]
intable [Intable.S]
interval [Timer]
Type of intervals for repeated events
interval [Interval_intf.S1]
interval [Interval_intf.T_set]
interval [Interval_intf.S]
interval_timer [Core_unix]
The three kinds of interval timers.
interval_timer_status [Core_unix]
The type describing the status of an interval timer

K
key [Piecewise_linear.S]
key [Core_arg]
key [Core_map_intf.Types]
key [Core_map_intf.S]
kind [Core_unix.IOVec]
Kind of I/O-vector buffers

L
limit [Core_unix.RLimit]
lnum [Linebuf]
lock_command [Core_unix]
Commands for Core_unix.lockf.

M
monad [Monad.Infix2]
monad [Monad.Make2.Monad_infix]
monad [Monad.Check_S2_refines_S.Monad_infix]
monad [Monad.Check_S2_refines_S]
monad [Monad.Make.Monad_infix]
monad [Monad.Infix]
msg_flag [Core_unix]
The flags for UnixLabels.recv, UnixLabels.recvfrom, UnixLabels.send and UnixLabels.sendto.

N
name_info [Core_unix]
Host and service information returned by Unix.getnameinfo.
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 _.

O
open_flag [Core_unix]
The flags to UnixLabels.openfile.
outer [Float_intf.S]

P
passfail [Common]
phantom [Container]
poly_t [Interval_intf.S.Set]
poly_t [Interval_intf.S]
process_times [Core_unix]
The execution times (CPU times) of a process.

R
read_only [Common]
Handy types for marking things read-only and read-write.
read_write [Common]
resource [Core_unix.RLimit]
result [Linebuf]
return [With_return]
return [Common]
robustly_comparable [Robustly_comparable.S]
robustly_comparable [Float_robust_compare.S]
robustly_comparable [Float_robust_compare.Make]

S
seek_command [Core_unix]
Positioning modes for UnixLabels.lseek.
setattr_when [Terminal_io_intf.Types]
sexpable [Sexpable.S3]
sexpable [Sexpable.S2]
sexpable [Sexpable.S1]
sexpable [Sexpable.Of_stringable]
sexpable [Sexpable.S]
sexpable [Bucket.Make]
shutdown_command [Core_unix]
The type of commands for shutdown.
sigprocmask_command [Signal]
sockaddr [Core_unix]
The type of socket addresses.
socket_bool_option [Core_unix]
The socket options that can be consulted with UnixLabels.getsockopt and modified with UnixLabels.setsockopt.
socket_domain [Core_unix]
The type of socket domains.
socket_float_option [Core_unix]
The socket options that can be consulted with UnixLabels.getsockopt_float and modified with UnixLabels.setsockopt_float.
socket_int_option [Core_unix]
The socket options that can be consulted with UnixLabels.getsockopt_int and modified with UnixLabels.setsockopt_int.
socket_optint_option [Core_unix]
The socket options that can be consulted with UnixLabels.getsockopt_optint and modified with UnixLabels.setsockopt_optint.
socket_type [Core_unix]
The type of socket kinds, specifying the semantics of communications.
spec [Core_arg]
stat [Core_gc]
stats [Core_unix.Native_file]
The informations returned by the UnixLabels.stat calls.
stats [Core_unix]
The informations returned by the UnixLabels.stat calls.
stringable [Sexpable.To_stringable]
stringable [Stringable.S]
sys_behavior [Signal]
The default behaviour of the system if these signals trickle to the top level of a program.
sysconf [Core_unix]
sysinfo [Linux_ext]

T
t [Time]
A discrete point in time in the universe; not a time in some timezone.
t [Terminal_io_intf.Types]
t [Word_size]
t [Weekday]
t [Unit]
t [Unique_id_intf.Id]
t [Tuple.Hashable_sexpable]
t [Tuple.T3]
t [Tuple.T2]
t [Timer]
Type of timers
t [Thread_safe_queue]
t [Utest.Only_in_test]
t [Linux_ext.Clock]
t [Zone]
t [Squeue]
t [Span.Parts]
t [Span]
t [Space_safe_tuple.T3]
t [Space_safe_tuple.T2]
t [Signal]
t [Set_once]
t [Result]
'a is a function's expected return type, and 'b is often an error message string.
t [Ref]
t [Piecewise_linear.Key]
t [Piecewise_linear.S]
t [Out_channel]
t [Option]
Options are preferred over exceptions.
t [Ofday]
t [Month]
t [Monad.Basic2]
t [Monad.Basic]
t [Substring_intf.S]
t [Make_substring.Base]
t [Make_substring.F]
t [Make_substring.Blit]
t [Linebuf]
The type of a line buffer.
t [Int_set]
t [Int_intf.S]
t [Interval_intf.S1.Set]
t [Interval_intf.S1]
t [Interval_intf.T_set]
t [Interval_intf.S.Set]
t [Interval_intf.T]
t [Interval_intf.S]
t [Interfaces.Identifier]
t [In_channel]
t [Host_and_port]
t [Heap]
Type of heaps
t [Hash_set.Poly]
t [Hash_set]
t [Hash_set_intf.S_binable]
t [Hashable.S_binable.Hashable]
t [Hash_heap.S]
t [Hash_queue.S]
a hash-queue, where the values are of type 'a
t [Hash_set_intf.S]
t [Hashable.S.Hashable]
t [Hash_set.Make_binable]
t [Hashable.Make_binable.Hashable]
t [Hash_heap.Make]
t [Hash_queue.Make]
t [Hash_set.Make]
t [Hashable.Make.Hashable]
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 [Exn]
t [Error_check.ReportAllFails]
t [Error_check.Step]
t [Error_check.Timer]
t [Error_check.ToggleN]
t [Error_check.Toggle]
t [Doubly_linked.Elt]
t [Doubly_linked]
t [Dequeue]
t [Date]
t [Core_unix.Mman.Mcl_flags]
t [Core_unix.Scheduler.Policy]
t [Core_unix.Utsname]
t [Core_unix.Resource_usage]
t [Core_unix.RLimit]
t [Core_unix.IOVec]
Representation of I/O-vectors.
t [Core_unix.Service]
Structure of entries in the services database.
t [Core_unix.Protocol]
Structure of entries in the protocols database.
t [Core_unix.Host]
Structure of entries in the hosts database.
t [Core_unix.Group]
t [Core_unix.Passwd]
t [Core_unix.Select_fds]
t [Core_unix.Process_channels]
t [Core_unix.Process_info]
t [Core_unix.Flock_command]
t [Core_unix.Process_status]
t [Core_unix.File_descr]
t [Core_thread]
The type of thread handles.
t [Core_string]
t [Core_stack]
t [Core_sexp.Sexp_maybe]
t [Core_set_intf.S1]
t [Core_set_intf.Elt]
t [Core_queue]
t [Core_mutex]
t [Core_map_intf.S2]
t [Core_map_intf.Key]
t [Core_list.Assoc]
t [Core_list]
t [Core_hashtbl_intf.T2]
t [Core_hashtbl_intf.T1]
t [Core_hashtbl_intf.T0]
t [Core_hashtbl_intf.Monomorphic.S]
t [Core_hashtbl_intf.Monomorphic.Key1]
t [Core_hashtbl_intf.Monomorphic.T]
t [Core_hashtbl_intf.Key_poly]
t [Core_hashtbl_intf.Key]
t [Core_hashtbl.T]
t [Core_hashtbl]
t [Core_gc.Control]
t [Core_gc.Stat]
t [Core_condition]
t [Core_char]
An alias for the type of characters.
t [Core_bin_prot.Writer]
t [Core_array]
t [Core_arg]
t [Constrained_float.S]
t [Core_set_intf.Types]
t [Core_set_intf.S]
t [Core_map_intf.Types]
t [Core_map_intf.S]
t [Byte_units.Measure]
t [Byte_units]
t [Bucket.S]
t [Bucket.Contents]
t [Bucket.Make]
t [Bool]
t [Blang]
t [Bigstring]
Type of bigstrings
t [Bigbuffer]
The abstract type of buffers.
t [Bag.Elt]
t [Bag]
t [Avltree]
t [Agnostic_mutex]
tcp_bool_option [Linux_ext]
tm [Core_unix]
The type representing wallclock time and calendar date.
type_class [Container]

U
usage_msg [Core_arg]

V
variant [Weekday]
variant [Month]

W
wait_flag [Core_unix]
who [Core_unix.Resource_usage]
with_create_args [Out_channel]
with_create_args [In_channel]
with_options [Core_hashtbl_intf]
write_only [Common]