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