Index of types


A
addr_info [Core_unix]
Address information returned by Unix.getaddrinfo.
anons [Command.Spec]
a specification of some number of anonymous arguments

B
basic_command [Command]
basic_command' [Command]
behavior [Signal.Expert]
bigstring [Core_unix.IOVec]
bin_prot [Iobuf_intf.Accessors]
bound [Interval_intf.S]
bound [Interval_intf.Gen_set]
bound [Interval_intf.Gen]
bound_ [Interval_intf.S]
bound_ [Interval_intf.S1]

C
comparator_witness [Time0.Stable.V1.C]
consuming_blit [Iobuf_intf]
consuming_blito [Iobuf_intf]

D
dir_handle [Core_unix]
The type of descriptors over opened directories.
dst [Iobuf_intf.Consuming_blit]

E
env [Core_unix]
env is used to control the environment of a child process, and can take three forms.
error [Unix_error]
error [Core_unix.Exit_or_signal_or_stop]
error [Core_unix.Exit_or_signal]
error [Core_unix.Exit]
error [Core_unix]
The type of error codes.

F
file_kind [Core_unix]
file_perm [Core_unix]
The type of file access rights.
flag [Command.Spec]
a flag specification
flow_action [Core_unix.Terminal_io]
flush_queue [Core_unix.Terminal_io]

G
getaddrinfo_option [Core_unix]
Options to Unix.getaddrinfo.
getnameinfo_option [Core_unix]

I
interval [Interval_intf.Gen_set]
interval_timer [Core_unix]
The three kinds of interval timers.
interval_timer_status [Core_unix]
iobuf [Iobuf_intf.Bound]

K
key [Piecewise_linear_intf.S]
kind [Core_unix.IOVec]
Kind of I/O-vector buffers

L
limit [Core_unix.RLimit]
limiter [Limiter]
lock_command [Core_unix]
Commands for Core_unix.lockf.

M
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.
no_seek [Iobuf_intf]
no_seek and seek are phantom types used in a similar manner to read and read_write.

O
ofday [Ofday.Zoned]
Sexps look like "(12:01 nyc)"
ok_value [Syscall_result_intf.S]
open_flag [Core_unix]

P
param [Command.Spec]
specification of an individual parameter to the command's main function
pid_spec [Signal]
poly_set [Interval_intf.S]
poly_t [Interval_intf.S]
process_times [Core_unix]
The execution times (CPU times) of a process.

R
repeat [Linux_ext.Timerfd]
resource [Core_unix.RLimit]

S
seek [Iobuf_intf]
like read
seek_command [Core_unix]
POSITIONING modes for UnixLabels.lseek.
select_timeout [Core_unix]
setattr_when [Core_unix.Terminal_io]
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]
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.
src [Iobuf_intf.Consuming_blit]
src [Iobuf.Peek]
Similar to Consume.To_*, but do not advance the buffer.
src [Iobuf.Consume]
To_string.blito ~src ~dst ~dst_pos ~src_len () reads src_len bytes from src, advancing src's window accordingly, and writes them into dst starting at dst_pos.
stats [Core_unix.Native_file]
The informations returned by the UnixLabels.stat calls.
stats [Core_unix]
sys_behavior [Signal]
The default behaviour of the system if these signals trickle to the top level of a program.
syscall_result [Syscall_result_intf.S]
sysconf [Core_unix]
System configuration

T
t [Zone]
The type of a time-zone.
t [Unix_error]
t [Time0.Stable.V1.C]
t [Time0.Stable.V1.Epoch_cache]
t [Syslog.Level]
t [Syslog.Facility]
t [Syslog.Open_option]
t [Syscall_result_intf.Arg]
t [Syscall_result_intf.S]
t [Syscall_result]
There is no with sexp_of on purpose as it could only print the 'a value as an integer.
t [Weak_hashtbl]
t [Uuid]
t [User_and_group]
t [Time_stamp_counter.Span]
t [Time_stamp_counter.Calibrator]
t [Time_stamp_counter]
t [Time_ns.Ofday]
t [Time_ns.Option]
t [Time_ns.Span.Option]
t [Time_ns.Span.Parts]
t [Time_ns.Span]
t [Time_ns]
t [Time.Span.Parts]
t [Time]
A fully qualified point in time, independent of timezone.
t [Time.Stable.With_utc_sexp.V1]
t [Time.Stable.V1]
t [Squeue]
t [Span.Unit_of_time]
Represents a unit of time for purposes of human-readable display.
t [Span.Parts]
t [Span]
t [Signal]
t [Piecewise_linear_intf.S]
t [Piecewise_linear_intf.Float_like]
t [Piecewise_linear.Stable.V1.Make_invertible]
t [Piecewise_linear.Stable.V1.Make]
t [Ofday.Zoned]
t [Ofday]
t [Nano_mutex]
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 [Limiter.Throttled_rate_limiter]
t [Limiter.Throttle]
t [Limiter.Token_bucket]
t [Limiter.Infinite_or_finite]
t [Limiter]
t [Iobuf_intf.Bound]
t [Iobuf_intf.Accessors]
('d, 'w) Iobuf.t accessor function manipulating 'a, either writing it to the iobuf or reading it from the iobuf.
t [Iobuf]
The first type parameter controls whether the iobuf can be written to.
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 [Date0]
t [Date]
t [Daemon.Fd_redirection]
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.Terminal_io]
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.Cidr]
t [Core_unix.Inet_addr]
t [Core_unix.Protocol_family]
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.Open_flags]
Open_flags.t represents the flags associated with a file descriptor in the open-file-descriptor table.
t [Core_unix.Thread_id]
t [Core_unix.Exit_or_signal_or_stop]
t [Core_unix.Exit_or_signal]
t [Core_unix.Exit]
t [Core_unix.Error]
The type of error codes.
t [Core_unix.File_descr]
t [Core_thread]
The type of thread handles.
t [Core_mutex]
t [Core_condition]
t [Command.Shape]
t [Command.Spec]
composable command-line specifications
t [Command.Anons]
a specification of some number of anonymous arguments
t [Command.Flag]
t [Command.Arg_type]
the type of a command line argument
t [Command]
commands which can be combined into a hierarchy of subcommands
t_ [Piecewise_linear_intf.S]
t_ [Piecewise_linear]
This type constructor is how we expose, for instance, that Make(K)(V).t and Stable.V1.Make(K)(V).t are the same type (as long as Stable.V1 is current).
t_ [Interval_intf.S.Set]
t_ [Interval_intf.S]
t_invertible [Piecewise_linear]
t_no_seek [Iobuf.Blit]
tcp_bool_option [Linux_ext]
tm [Core_unix]
The type representing wallclock time and calendar date.

V
value [Piecewise_linear_intf.S]

W
wait_on [Core_unix]