# 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] |