|
_date [Date.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] |
|
B |
base [Substring_intf.S] |
|
base [Make_substring.F] |
|
behavior [Signal] |
|
bigstring [Make_substring] |
|
bigstring [Unix.IOVec] |
|
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.T_set] |
|
bound [Interval_intf.T] |
|
bound [Interval_intf.S] |
|
C |
comparator [Comparator.S1] |
|
comparator [Comparator.S_binable] |
|
comparator [Comparator.S] |
|
comparator [Comparable.S_common] |
|
compare [No_polymorphic_compare] |
|
contents [Bucket.S] |
|
contents [Bucket.Make] |
|
control [Gc] |
|
create_options [Hash_set_intf.Creators] |
|
create_options [Core_set_intf.Creators] |
|
create_options [Core_map_intf.S] |
|
create_options [Core_map_intf.Creators] |
|
create_options [Map.Poly] |
|
create_options [Map] |
|
create_options [Core_hashtbl_intf.Creators] |
|
create_options_with_comparator [Core_set_intf] |
|
create_options_with_comparator [Core_map_intf] |
|
create_options_with_hashable [Core_hashtbl_intf] |
|
create_options_with_hashable_required [Hash_set_intf] |
|
create_options_without_comparator [Core_set_intf] |
|
create_options_without_comparator [Core_map_intf] |
|
create_options_without_hashable [Hash_set_intf] |
|
create_options_without_hashable [Core_hashtbl_intf] |
|
D |
decimal [Common] |
|
default [Default.S] |
|
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.Creators] |
|
elt [Set] |
|
elt [Container.Generic_phantom] |
|
elt [Container.Generic] |
|
elt [Container.S0_phantom] |
|
elt [Container.S0] |
|
elt_ [Hash_set_intf.S] |
|
elt_ [Core_set_intf.S] |
|
endian [Binary_packing] |
|
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] |
The type of file access rights.
|
flow_action [Unix.Terminal_io] |
|
flush_queue [Unix.Terminal_io] |
|
G |
gen [Quickcheck] |
the type of a random 'a -generator
|
getaddrinfo_option [Unix] |
Options to Unix.getaddrinfo .
|
getnameinfo_option [Unix] |
Options to Unix.getnameinfo .
|
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] |
|
int_spec [Int_conversions] |
|
interval [Timer] |
Type of intervals for repeated events
|
interval [Interval_intf.S1] |
|
interval [Interval_intf.T_set] |
|
interval [Interval_intf.S] |
|
interval_timer [Unix] |
The three kinds of interval timers.
|
interval_timer_status [Unix] |
The type describing the status of an interval timer
|
K |
key [Piecewise_linear.S] |
|
key [Core_map_intf.Creators] |
|
key [Core_map_intf.Accessors] |
|
key [Map.Poly] |
|
key [Map] |
|
key [Core_hashtbl_intf.S] |
|
key [Core_hashtbl_intf.Creators] |
|
key [Core_hashtbl_intf.Accessors] |
|
key [Arg] |
|
key_ [Core_map_intf.S] |
|
key_ [Core_hashtbl_intf.S] |
|
kind [Unix.IOVec] |
Kind of I/O-vector buffers
|
L |
limit [Unix.RLimit] |
|
lock_command [Unix] |
|
M |
map [Core_map_intf.S] |
|
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 [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] |
The flags to UnixLabels.openfile .
|
outer [Float_intf.S] |
|
P |
passfail [Common] |
|
phantom [Container] |
|
phantom [Default.S] |
|
pid_spec [Signal] |
|
poly_t [Interval_intf.S.Set] |
|
poly_t [Interval_intf.S] |
|
process_times [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] |
|
real [Default.S] |
|
redirect_fds [Daemon] |
|
resource [Unix.RLimit] |
|
return [With_return] |
|
return [Common] |
|
S |
seek_command [Unix] |
POSITIONING modes for UnixLabels.lseek .
|
set [Core_set_intf.S] |
|
set [Core_set_intf.Creators] |
|
setattr_when [Unix.Terminal_io] |
|
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] |
The socket options that can be consulted with UnixLabels.getsockopt_int
and modified with UnixLabels.setsockopt_int .
|
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] |
|
stat [Gc] |
|
stats [Unix.Native_file] |
The informations returned by the UnixLabels.stat calls.
|
stats [Unix] |
The informations returned by the UnixLabels.stat calls.
|
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 discrete point in time in the universe; not a time in some timezone.
|
t [Word_size] |
|
t [Weekday] |
|
t [Unpack_buffer.Unpack_one] |
|
t [Unpack_buffer] |
|
t [Univ.Constr] |
|
t [Univ] |
|
t [Unit] |
|
t [Unique_id_intf.Id] |
|
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 [Tuple.Hashable_sexpable] |
|
t [Tuple.Make] |
|
t [Tuple.T3] |
|
t [Tuple.T2] |
|
t [Timer] |
Type of timers
|
t [Thread_safe_queue] |
|
t [Zone] |
|
t [Staged] |
|
t [Squeue] |
|
t [Span.Parts] |
|
t [Span] |
|
t [Space_safe_tuple.T3] |
|
t [Space_safe_tuple.T2] |
|
t [Signal] |
|
t [Sexpable.S3] |
|
t [Sexpable.S2] |
|
t [Sexpable.S1] |
|
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 [Pid] |
|
t [Out_channel] |
|
t [Or_error] |
|
t [Option] |
Options are preferred over exceptions.
|
t [Only_in_test] |
|
t [Ofday] |
|
t [Nano_mutex] |
|
t [Month] |
|
t [Monad.Infix2] |
|
t [Monad.Basic2] |
|
t [Monad.Basic] |
|
t [Monad.Make2.Monad_infix] |
|
t [Monad.Check_S2_refines_S.Monad_infix] |
|
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.Clock] |
|
t [Linux_ext.Sysinfo] |
Result of sysinfo syscall (man 2 sysinfo)
|
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 [Stringable.S] |
|
t [Sexpable.S] |
|
t [Robustly_comparable.S] |
|
t [Monad.Infix] |
|
t [Intable.S] |
|
t [Int_set] |
|
t [Int_intf.S] |
|
t [In_channel] |
|
t [Identifiable.S] |
|
t [Host_and_port] |
|
t [Heap] |
Type of heaps
|
t [Hashable.S_binable] |
|
t [Hashable.S] |
|
t [T.T_bin] |
|
t [T.T2] |
|
t [T.T1] |
|
t [T.T] |
|
t [Hash_set_intf.S] |
|
t [Hash_set_intf.Creators] |
|
t [Hash_set.Poly] |
|
t [Hash_set] |
|
t [Hash_queue.S] |
a hash-queue, where the values are of type 'a
|
t [Hash_queue.Make] |
|
t [Hash_heap.S] |
|
t [Hash_heap.Make] |
|
t [Fqueue] |
|
t [Force_once] |
A "force_once" is a thunk that can only be forced once.
|
t [Floatable.S] |
|
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] |
|
t [Doubly_linked.Elt] |
|
t [Doubly_linked] |
|
t [Dequeue] |
|
t [Default] |
|
t [Date] |
|
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.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.Exit_or_signal_or_stop] |
|
t [Unix.Exit_or_signal] |
|
t [Unix.Exit] |
|
t [Unix.File_descr] |
|
t [Thread] |
The type of thread handles.
|
t [String] |
|
t [Stack] |
|
t [Sexp.Sexp_maybe] |
|
t [Core_set_intf.S] |
|
t [Core_set_intf.Creators] |
|
t [Set.Poly] |
|
t [Set] |
|
t [Queue] |
|
t [Mutex] |
|
t [Core_map_intf.S] |
|
t [Core_map_intf.Creators] |
|
t [Core_map_intf.Accessors] |
|
t [Map.Poly] |
|
t [Map] |
|
t [List.Assoc] |
|
t [List] |
|
t [Core_hashtbl_intf.S] |
|
t [Core_hashtbl_intf.Creators] |
|
t [Core_hashtbl_intf.Accessors] |
|
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.
|
Bin_prot.Writer.html#TYPEt">t [Bin_prot.Writer.html">Bin_prot.Writer] |
|
t [Array] |
|
t [Arg] |
|
t [Container.Generic_phantom] |
|
t [Container.Generic] |
|
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 [Comparable.Map_and_set_binable] |
|
t [Polymorphic_compare_intf.Infix] |
|
t [Comparable.Inherit] |
|
t [Comparable.Make_common] |
|
t [Commutative_group.S] |
|
t [Byte_units.Measure] |
|
t [Byte_units] |
|
t [Bucket.S] |
|
t [Bucket.Contents] |
|
t [Bucket.Make] |
|
t [Bounded_int_table] |
|
t [Bool] |
|
t [Blang] |
|
t [Bigstring] |
Type of bigstrings
|
t [Bigbuffer] |
The abstract type of buffers.
|
t [Bag.Elt] |
|
t [Bag] |
|
t [Backtrace] |
|
t [Avltree] |
|
t [Random.State] |
|
t [Agnostic_mutex] |
|
t_ [Hash_set_intf.S] |
|
t_ [Core_set_intf.S] |
|
t_ [Set.Poly] |
|
t_ [Core_map_intf.S] |
|
t_ [Map.Poly] |
|
t_ [Core_hashtbl_intf.S] |
|
t_ [Comparator] |
|
tcp_bool_option [Linux_ext] |
|
tm [Unix] |
The type representing wallclock time and calendar date.
|
tree [Core_set_intf.S] |
|
tree [Core_set_intf.Creators] |
|
tree [Core_set_intf.Accessors] |
tree t returns the underlying binary tree that represents the set.
|
tree [Set] |
|
tree [Core_map_intf.S] |
|
tree [Core_map_intf.Creators] |
|
tree [Core_map_intf.Accessors] |
tree t returns the underlying binary tree that represents the map.
|
tree [Map] |
|
U |
usage_msg [Arg] |
|
V |
variant [Weekday] |
|
variant [Month] |
|
W |
wait_on [Unix] |
|
with_create_args [Out_channel] |
|
write_only [Common] |
|