Index of values

(name %: typ) specifies a required anonymous argument of type typ.

Basic operations on spans

command-line spec composition

add a leftmost parameter onto the type of main

add a rightmost parameter onto the type of main

abbreviation zone t returns t abbreviation name such as EDT, EST, JST of given zone at the time t.

Dump_core Abnormal termination

absolute value

abs_diff t1 t2 returns the absolute span of time t1 minus time t2.

Accept connections on the given socket.

Check that the process has the given permissions over the named file.

add t ~key value adds a new value to t and returns an element that can later be supplied to remove the element from t.

add t ~at a adds a new value a to t and returns an alarm that can later be supplied to remove the alarm from t.

add t s adds the span s to time t and returns the resulting time.

add t s shifts the time of day t by the span s.

add ru1 ru2 adds two rusage structures (e.g.

add_business_days t ~is_holiday n returns a business day even when n=0.

add_channel b ic n reads exactly n character from the input channel ic and stores them at the end of buffer b.

add_finalizer b f ensures that f runs after b becomes unreachable.

add_months t n returns date with max days for the month if the date would be invalid.

add_weekdays t 0 returns the next weekday if t is a weekend and t otherwise.

Address information returned by Unix.getaddrinfo.

advance t amount advances the lower bound of the window by amount.

advance_clock t ~to_ ~handle_fired advances t's clock to to_.

Schedule a SIGALRM signal after the given number of seconds.

Accessors

alarm_upper_bound t returns the upper bound on an at that can be supplied to add.

Terminate Timeout

anon spec specifies a command that, among other things, takes the anonymous arguments specified by spec.

are_disjoint ts returns true iff the intervals in ts are pairwise disjoint.

Returns true iff a given set of intervals would be disjoint if considered as open intervals.

the arguments passed to the command

The command line arguments given to the process.

In all Alarm functions, one must supply the timing wheel that the alarm was added to.

Respects the posix semantic.

basic ~summary ?readme spec main is a basic command that executes a function main which is passed parameters parsed from the command line according to spec.

The type of socket addresses.

The type of socket domains.

The type of socket kinds, specifying the semantics of communications.

Bind a socket to an address.

A special address, for use only with bind, representing all the Internet addresses that the host machine possesses.

block_forever () will block the calling thread forever.

blocking_create ?message path like create, but sleeps for 1 second between lock attempts and does not return until it succeeds

blocking_create t tries to create the lock.

bound t x returns None iff is_empty t.

c_int_size returns the number of bits in a C int.

can_read t iff t has rdonly or rdwr

can_send_to pid returns true if pid is running and the current process has permission to send it signals.

can_read t iff t has wronly or rdwr

capacity t returns the size of t's limits subrange.

Warning: this function clobbers the Signal.int (SIGINT) handler.

Change the process working directory.

Change the current working directory of the process.

check_suffix name suff returns true if the filename name ends with the suffix suff.

Ignore Child process terminated

Change the permissions of the named file.

Return the given file name without its extension.

chop_suffix name suff removes the suffix suff from the filename name.

Change the owner uid and owner gid of the named file.

Change the process root directory.

clears the queue

clear t causes t to not fire any more.

Clear the ``close-on-exec'' flag on the given descriptor.

Clear the ``non-blocking'' flag on the given descriptor.

Close a file descriptor.

Close channels opened by UnixLabels.open_process, wait for the associated command to terminate, and return its termination status.

Close channels opened by UnixLabels.open_process_full, wait for the associated command to terminate, and return its termination status.

Close channels opened by UnixLabels.open_process_in, wait for the associated command to terminate, and return its termination status.

Close channels opened by UnixLabels.open_process_out, wait for the associated command to terminate, and return its termination status.

Close a directory descriptor.

Execute the given shell command and return its exit code.

compact t copies data from the window to the lower limit of the iobuf and sets the window to range from the end of the copied data to the upper limit.

concat p1 p2 returns a path equivalent to p1 ^ "/" ^ p2.

Connect a socket to an address.

a hard-coded parameter

consume_into_string t s ~pos ~len reads len bytes from t, advancing t's window accordingly, and writes them into s starting at pos.

Continue Continue

cores ()

Compute the 32-bit crc

String version of the crc, encoded in hex.

creation

create ?level_bits ~dummy () creates a new empty timing wheel, t, with length t = 0 and min_allowed_key t = 0.

create ~start ~alarm_precision ~dummy () creates a new timing wheel with current time start.

create () returns a new t guaranteed to not be equal to any other UUID generated by any process anywhere.

create maxsize returns a synchronized queue bounded to have no more than maxsize elements.

create enforces that key values are non-decreasing.

create () returns a new, unlocked mutex.

create ?message path tries to create and lock the file at path by creating a hard link to path.nfs_lock.

create ?close_on_exec ?message path tries to create a file at path containing the text message, which defaults to the pid of the locking process.

create ~num_file_descrs creates a new epoll set able to watch file descriptors in [0, num_file_descrs).

create ?flags clock creates a new timer file descriptor.

create ~len creates a new iobuf, backed by a bigstring of length len, with the limits and window set to the entire bigstring.

create l u returns the interval with lower bound l and upper bound u, unless l > u, in which case create returns the empty interval.

Thread.create funct arg creates a new thread of control, in which the function application funct arg is executed concurrently with the other threads of the program.

an argument type includes information about how to parse values of that type from the command line, and (optionally) how to auto-complete partial arguments of that type via bash's programmable TAB-completion.

create_ending_after ?zone (od1, od2) ~now returns the smallest interval (t1 t2) with minimum t2 such that t2 >= now, to_ofday t1 = od1, and to_ofday t2 = od2.

create_ending_before ?zone (od1, od2) ~ubound returns the smallest interval (t1 t2) with maximum t2 such that t2 <= ubound, to_ofday t1 = od1, and to_ofday t2 = od2.

In create_exn bits, it is an error if any of the b_i in bits has b_i <= 0, or if the sum of the b_i in bits is greater than max_num_bits.

create_exn ?message path like create, but throws an exception when it fails to obtain the lock

create_exn ?message path is like create except that it throws an exception on failure instead of returning a boolean value

create_exn ~y ~m ~d creates the date specified in the arguments.

create_process ~prog ~args forks a new process that executes the program prog with arguments args.

critical_section ?message path ~f wrap function f (including exceptions escaping it) by first locking (using Lock_file.Nfs.create_exn) and then unlocking the given lock file.

The conventional name for the current directory (e.g.

current_thread_has_lock t returns true iff the current thread has t locked.

daemonize makes the executing process a daemon.

daemonize_wait makes the executing process a daemon, but delays full detachment from the calling shell/process until the returned "release" closure is called.

default returns the default value of level_bits used by Timing_wheel.create and Timing_wheel.Priority_queue.create.

default_sys_behavior t Query the default system behavior for a signal.

default_utc_offset returns the UTC offset of default regime for timezone t in seconds.

delay d suspends the execution of the calling thread for d seconds.

Return the descriptor corresponding to an input channel.

Return the descriptor corresponding to an output channel.

diff t1 t2 returns time t1 minus time t2.

diff t1 t2 returns the difference in time between two ofdays, as if they occurred on the same day

diff t1 t2 returns date t1 minus date t2 in days.

digest t return the MD5 digest of the file the t was created from (if any)

The directory separator (e.g.

See Filename.basename.

Is the given address inside the given Cidr.t? Note that the broadcast and network addresses are considered valid so does_match 10.0.0.0/8 10.0.0.0 is true.

Return the socket domain adequate for the given socket address.

drop iovec n drops n characters from iovec.

Return a new file descriptor referencing the same file as the given descriptor.

dup2 fd1 fd2 duplicates fd1 to fd2, closing fd2 if already opened.

durations t ~alarm_precision returns the durations of the levels in t, assuming that each interval has duration alarm_precision.

empty the empty I/O-vector.

the empty command-line spec

create_process_env ~prog ~args ~env as create process, but takes an additional parameter that extends, or replaces the current environment.

Return the process environment, as an array of strings with the format ``variable=value''.

equal is phys_equal

Return a string describing the given error code.

escape flags may be passed at most once.

Establish a server on the given address.

exec ~prog ~args ?search_path ?env execs prog with args.

The name of the file containing the executable currently running.

execution_mode tests whether the code being executed was compiled natively or to bytecode.

Terminate prematurely the currently executing thread.

exit_immediately exit_code immediately calls the exit system call with the given exit code without performing any other actions (unlike Pervasives.exit).

Change the permissions of an opened file.

Change the owner uid and owner gid of an opened file.

fcntl_getfl fd gets the current flags for fd from the open-file-descriptor table via the system call fcntl(fd, F_GETFL).

fcntl_setfl fd flags sets the flags for fd in the open-file-descriptor table via the system call fcntl(fd, F_SETFL, flags).

Synchronize the kernel buffers of a given file descriptor with disk, but do not necessarily write file attributes.

file_descr_realpath fd

file_exists ~follow_symlinks path

Same as file_exists but blows up on `Unknown

The type of file access rights.

fill_bin_prot writes a bin-prot value to the lower bound of the window, prefixed by its length, and advances by the amount written.

The runtime essentially maintains a bool ref:

find name looks up a t by its name and returns it.

map operations

find_office office a more type-safe interface for pulling timezones related to existing Jane Street offices/locations.

first_strictly_after t ~on:day_of_week returns the first occurrence of day_of_week strictly after t.

flag name spec ~doc specifies a command that, among other things, takes a flag named name on its command line.

flags_of_args_exn args creates a spec from Arg.ts, for compatibility with ocaml's base libraries.

flip_hi t sets the window to range from the the upper bound of the current window to the upper limit.

flip_lo t sets the window to range from the lower limit to the lower bound of the old window.

flock fd cmd places or releases a lock on the fd as per the flock C call of the same name.

Get the t for the current process.

fork () forks a new process.

fork_exec ~prog ~args ?use_path ?env () forks and execs prog with args in the child process, returning the child pid to the parent.

format t fmt formats the given time according to fmt, which follows the formatting rules given in 'man strftime'.

Dump_core Arithmetic exception

Return the information for the file associated with the given descriptor.

Return the information for the file associated with the given descriptor.

Truncates the file corresponding to the given descriptor to the given size.

get t returns the current state of the timer t.

get_hostname_and_pid path reads the lock file at path and returns the hostname and path in the file.

get_inverse t value is the inverse operation of get t key.

get_mcast_loop sock reads the boolean argument that determines whether sent multicast packets are looped back to local sockets.

get_mcast_ttl sock reads the time-to-live value of outgoing multicast packets for socket sock.

get_message path reads the lock file at path and returns the message in the file.

get_opt () returns a backtrace if get is implemented.

get_process_clock the clock measuring the CPU-time of a process.

Get a sockaddr from a hostname or IP, and a port

get_terminal_size ()

get_thread_clock the clock measuring the CPU-time of the current thread.

getaddrinfo host service opts returns a list of Unix.addr_info records describing socket parameters and addresses suitable for communicating with the given host and service.

Options to Unix.getaddrinfo.

Find an entry in hosts with the given address.

Find an entry in services with the given name.

Find an entry in protocols with the given name.

Find an entry in hosts with the given name.

Find an entry in protocols with the given protocol number.

Find an entry in services with the given service number.

Return the name of the current working directory.

Return the current working directory of the process.

Return the effective group id under which the process runs.

Return the value associated to a variable in the process environment.

Return the effective user id under which the process runs.

Return the group id of the user executing the process.

getgrouplist user group returns the list of groups to which user belongs.

Return the list of groups to which the user executing the process belongs.

Return the name of the local host.

Return the current status of the given interval timer.

Return the login name of the user executing the process.

getnameinfo addr opts returns the host name and service name corresponding to the socket address addr.

Options to Unix.getnameinfo.

Return the address of the host connected to the given socket.

Return the pid of the process.

Return the pid of the parent process.

Return the pid of the parent process, if you're really sure you're never going to be the init process.

Get the calling thread's priority in the linux scheduler

getpwents is a thread-safe wrapper over the low-level passwd database functions.

Return the address of the given socket.

Same as UnixLabels.getsockopt for a socket option whose value is a floating-point number.

Same as UnixLabels.getsockopt for an integer-valued socket option.

Same as UnixLabels.getsockopt for a socket option whose value is an int option.

gettcpopt_bool sock opt

Same as Unix.time above, but with resolution better than 1 second.

Return the user id of the user executing the process.

Convert a time in seconds, as returned by UnixLabels.time, into a date and a time.

group ~summary subcommand_alist is a compound command with named subcommands, as found in subcommand_alist.

handle t f is set t (`Handle f).

handle_default t is set t `Default.

handle_unix_error f runs f () and returns the result.

the help text for the command

Terminate Hangup on controlling terminal

Return the identifier of the given thread.

ignore t is set t `Ignore.

Dump_core Invalid hardware instruction

Create an input channel reading from the given descriptor.

in_channel_realpath ic

increase_min_allowed_key t ~key ~handle_removed increases the minimum allowed key in t to key, and removes all elements with keys less than key, applying handle_removed to each element that is removed.

Some things (like the kernel) report addresses as hex or decimal strings.

inet4_addr_to_int32_exn t = 0l when t = Inet_addr.of_string ("0.0.0.0").

init () pre-load all available time zones from disk, this function has no effect if it is called multiple times.

initialized_zones () returns a sorted list of time zone names that have been loaded from disk thus far.

input ?min_len ic ?pos ?len bstr tries to read len bytes (guarantees to read at least min_len bytes (must be greater than or equal to zero and smaller or equal to len), if possible, before returning) from input channel ic, and writes them to bigstring bstr starting at position pos.

Terminate Interactive interrupt (ctrl-C)

This reference is initially set to false in standalone programs and to true if the code is being executed under the interactive toplevel system ocaml.

interruptible_pause span sleeps for span time unless interrupted (e.g.

interval_start t time returns the time at the start of the half-open interval containing time, i.e.

The three kinds of interval timers.

The type describing the status of an interval timer

Returns `Yes if the file exists and is a directory

is_empty t is length t = 0

One can think of a timing wheel as a set of alarms.

is_empty t is length t = 0.

Returns `Yes if the file exists and is a regular file

Return true if the file name is relative and does not start with an explicit reference to the current directory (./ or ../ in Unix), false if it starts with an explicit reference to the root directory or the current directory.

is_locked path returns true when the file at path exists and is locked, false otherwise.

is_posix_pathname_component f

Return true if the file name is relative to the current directory, false if it is absolute (i.e.

is_superset i1 of_:i2 is whether i1 contains i2.

Return true if the given file descriptor refers to a terminal or console window, false otherwise.

iter_ready and fold_ready iterate over the ready set computed by the last call to wait.

join th suspends the execution of the calling thread until the thread th has terminated.

Terminate Termination (cannot be ignored)

length t returns the number of elements in the timing wheel.

returns the number of elements in the queue.

length t returns the size of t's window.

likely_machine_zones is a list of zone names that will be searched first when trying to determine the machine zone of a box.

link ?force ~target ~link_name () creates a hard link named link_name to the file named target.

Assuming that ilist1 and ilist2 are lists of (disjoint) intervals, list_intersect ilist1 ilist2 returns the list of disjoint intervals that correspond to the intersection of ilist1 with ilist2.

listed flags may be passed zero or more times

Set up a socket for receiving connection requests.

Special addresses representing the host machine.

Convert a time in seconds, as returned by UnixLabels.time, into a date and a time.

lock t locks the mutex t, blocking until it can be locked.

lock mtx locks mtx, possibly waiting for it to be released first by another thread.

Commands for Unix.lockf.

returns the element popped and the length of the queue after * this element was popped.

Same as readdir, but return a list rather than an array.

Same as UnixLabels.stat, but in case the file is a symbolic link, return the information for the link itself.

Same as UnixLabels.stat, but in case the file is a symbolic link, return the information for the link itself.

machine_zone ?refresh () returns the machines zone (t).

map t ~f returns create (f l) (f u) if bounds t = Some (l, u), and empty if t is empty.

parameter transformation

marshal_to_fd ?buf fd v marshals data v to file descriptor fd using marshalling buffer buf, and marshalling flags flags.

marshal_to_sock_no_sigpipe ?buf sock v same as Bigstring_marshal.marshal_to_fd, but writes to sockets only and uses Bigstring.really_send_no_sigpipe to avoid SIGPIPE on sockets.

max_allowed_key t is the maximum allowed key that can be stored in t.

To avoid issues with arithmetic overflow, the implementation restricts keys to being between 0 and max_representable_key, where:

(maybe anons) indicates that some anonymous arguments are optional

(maybe_with_default default anons) indicates an optional anonymous argument with a default value

mcast_join ?ifname sock addr join a multicast group at addr with socket sock, optionally using network interface ifname.

mcast_leave ?ifname sock addr leaves a multicast group at addr with socket sock, optionally using network interface ifname.

memmove blits len bytes from src_pos to dst_pos in an iobuf, both relative to the lower bound of the window.

min_allowed_key t is the minimum key that can be stored in t.

min_elt t returns an element in t that has the minimum key, if t is nonempty.

Create a directory.

Create a directory recursively.

mkdtemp prefix creates a temporary directory with prefix, automatically appending a suffix of six random characters to make the name unique.

Create a named pipe with the given permissions.

mknod ?file_kind ?perm ?major ?minor path creates a filesystem entry.

mkstemp prefix creates and opens a unique temporary file with prefix, automatically appending a suffix of six random characters to make the name unique.

Convert a date and time, specified by the tm argument, into a time in seconds, as returned by UnixLabels.time.

Nonsettable clock.

most_recent () returns a string containing the stack that was unwound by the most recently raised exception.

The flags for UnixLabels.recv, UnixLabels.recvfrom, UnixLabels.send and UnixLabels.sendto.

IPv4 multicast address can be represented by the CIDR prefix 224.0.0.0/4, (i.e.

name zone returns the name of the time zone

Host and service information returned by Unix.getnameinfo.

nanosleep f delays execution of the program for at least f seconds.

narrow t sets t's limits to the current window.

negation

next_alarm_fires_at t returns the minimum time to which the clock can be advanced such that an alarm will fire, or None if t has no alarms.

Change the process priority.

no_arg flags may be passed at most once.

no_arg_abort ~exit is like no_arg, but aborts command-line parsing by calling exit.

no_arg_register ~key ~value is like no_arg, but associates value with key in the in the auto-completion environment

TFD_NONBLOCK

num_bits t is the sum of the b_i in t.

num_threads () attempts to return the number of currently running threads by parsing /proc.

ocaml_version is the version of Objective Caml.

occurrence side time ~ofday ~zone returns a Time.t that is the occurrence of ofday (in the given zone) that is the latest occurrence (<=) time or the earliest occurrence (>=) time, according to side.

convenience wrapper for of_map.

of_bigstring bigstring ~pos ~len returns an iobuf backed by bigstring, with the window and limits specified starting at pos and of length len.

of_bigstring ?pos ?len bstr

of_caml_int constructs a Signal.t given an O'Caml internal signal number.

of_filename_string s converts s that has format YYYY-MM-DD_HH-MM-SS.mmm into time

of_localized_string zone str read in the given string assuming that it represents a time in zone and return the appropriate Time.t

an auto-completing Arg_type over a finite set of values

of_string s returns a new iobuf whose contents are s.

of_string ?pos ?len str

Conversion from the printable representation of an Internet address to its internal representation.

of_string_abs s is like of_string, but demands that s indicate the timezone the time is expressed in.

Call of_string and if that fails, use Host.getbyname.

of_system_int and to_system_int return and take respectively a signal number corresponding to those in the system's /usr/include/bits/signum.h (or equivalent).

of_unix assumes that any signal numbers in the incoming value are O'Caml internal signal numbers.

of_unix assumes that any signal numbers in the incoming value are O'Caml internal signal numbers.

of_utc_offset offset returns a timezone with a static UTC offset (given in hours).

Connect to a server at the given address.

See UnixLabels.open_process_in.

High-level pipe and process management.

See UnixLabels.open_process_in.

Same as Filename.temp_file, but returns both the name of a fresh temporary file, and an output channel opened (atomically) on this file.

Open a descriptor on a directory

Open the named file with the given flags.

optional flags may be passed at most once

optional_with_default flags may be passed at most once, and default to a given value

Operating system currently executing the Caml program.

Create an output channel writing on the given descriptor.

out_channel_realpath oc

output ?min_len oc ?pos ?len bstr tries to output len bytes (guarantees to write at least min_len bytes (must be equal to or greater than zero), if possible, before returning) from bigstring bstr starting at position pos to output channel oc.

output_buffer oc b writes the current contents of buffer b on the output channel oc.

The conventional name for the parent of the current directory (e.g.

parse_ssh_client reads the SSH_CLIENT environment variable, retrieving the IP from which you are currently sshing.

parts filename returns a list of path components in order.

the subcommand path of the command

pause span sleeps for span time.

Wait until a non-ignored, non-blocked signal is delivered.

pause_forever sleeps indefinitely.

Terminate Broken pipe

Create a pipe.

pops an element off the queue, blocking until something is * available

pr_get_name () gets the name of the executing thread.

pr_get_pdeathsig () get the signal that will be sent to the currently executing process when its parent dies.

pr_set_name_first16 name sets the name of the executing thread to name.

pr_set_pdeathsig s sets the signal s to be sent to the executing process when its parent dies.

pread_assume_fd_is_nonblocking fd ~offset ?pos ?len bstr reads up to len bytes from file descriptor fd at offset offset, and writes them to bigstring bstr starting at position pos.

The execution times (CPU times) of a process.

Terminate Profiling interrupt

pselect rfds wfds efds timeout sigmask like Unix.select but also allows one to wait for the arrival of signals.

Blocks until there's room on the queue, then pushes.

Pushes an event on the queue if the queue is less than maxsize, otherwise drops it.

Does not block, may grow the queue past maxsize

Unix.putenv ~key ~data sets the value associated to a variable in the process environment.

pwrite_assume_fd_is_nonblocking fd ~offset ?pos ?len bstr writes up to len bytes of bigstring bstr starting at position pos to file descriptor fd at position offset.

Dump_core Interactive termination

Return a quoted version of a file name, suitable for use as one argument in a command line, escaping all meta-characters.

randomize t ~percent returns a span +/- percent * original span.

access mode.

read fd buff ofs len reads len characters from descriptor fd, storing them in string buff, starting at position ofs in string buff.

read ?min_len fd ?pos ?len bstr reads at least min_len (must be greater than or equal zero) and at most len (must be greater than or equal to min_len) bytes from file descriptor fd, and writes them to bigstring bstr starting at position pos.

Iobuf has analogs of various Bigstring functions.

read_assume_fd_is_nonblocking fd ?pos ?len buf calls the system call read ASSUMING THAT IT IS NOT GOING TO BLOCK.

read_assume_fd_is_nonblocking fd ?pos ?len bstr reads up to len bytes into bigstring bstr starting at position pos from file descriptor fd without yielding to other OCaml-threads.

Return the next entry in a directory.

Return the names of all files present in the given directory.

readdir_ino dh return the next entry in a directory (((filename, inode)).

Read the contents of a link.

really_input ic ?pos ?len bstr reads exactly len bytes from input channel ic, and writes them to bigstring bstr starting at position pos.

really_output oc ?pos ?len bstr outputs exactly len bytes from bigstring bstr starting at position pos to output channel oc.

really_read fd ?pos ?len bstr reads len bytes from file descriptor fd, and writes them to bigstring bstr starting at position pos.

really_recv sock ?pos ?len bstr receives len bytes from socket sock, and writes them to bigstring bstr starting at position pos.

really_send_no_sigpipe sock ?pos ?len bstr sends len bytes in bigstring bstr starting at position pos to socket sock without blocking and ignoring SIGPIPE.

really_write fd ?pos ?len bstr writes len bytes in bigstring bstr starting at position pos to file descriptor fd.

realpath path

Settable system-wide clock.

Receive data from an unconnected socket.

Receive data from an unconnected socket.

recvfrom_assume_fd_is_nonblocking sock ?pos ?len bstr reads up to len bytes into bigstring bstr starting at position pos from socket sock without yielding to other OCaml-threads.

recvmmsg_assume_fd_is_nonblocking fd iovecs ~count ~lens receives up to count messages into iovecs from file descriptor fd without yielding to other OCaml threads.

remove t elt removes elt from t.

remove t alarm removes alarm from t.

Removes the named file or directory

Remove the given file name from the file system.

rename old new changes the name of a file from old to new.

Rename a file.

required flags must be passed exactly once

reset t sets the window to the limits.

resize t sets the length of t's window, provided it does not exceed limits.

retry_until_no_eintr f returns f () unless f () fails with EINTR; in which case f () is run again until it raises a different error or returns a value.

rewind t sets the lower bound of the window to the lower limit.

Reposition the descriptor to the beginning of the directory

Remove an empty directory.

The path of the root.

Run a command against Sys.argv, or argv if it is specified.

POSITIONING modes for UnixLabels.lseek.

Dump_core Invalid memory reference

Setting restart to true means that we want select to restart automatically on EINTR (instead of propagating the exception)...

Return the thread currently executing.

send signal pid sends signal to the process whose process id is pid.

Send data over an unconnected socket.

send_exn signal ~pid sends signal to the process whose process id is * pid.

send_i signal ~pid sends signal to the process whose process id is pid.

send_no_sigpipe sock ?pos ?len buf tries to do a blocking send on socket sock given buffer buf, offset pos and length len.

send_nonblocking_no_sigpipe sock ?pos ?len buf tries to do a nonblocking send on socket sock given buffer buf, offset pos and length len.

send_nonblocking_no_sigpipe sock ?pos ?len bstr tries to send len bytes in bigstring bstr starting at position pos to socket sock.

sendfile ?pos ?len ~fd sock sends mmap-able data from file descriptor fd to socket sock using offset pos and length len.

sendmsg_nonblocking_no_sigpipe sock ?count iovecs tries to do a nonblocking send on socket sock using count I/O-vectors iovecs.

sendmsg_nonblocking_no_sigpipe sock ?count iovecs sends count iovecs of bigstrings to socket sock.

Send data over an unconnected socket.

sendto_nonblocking_no_sigpipe sock ?pos ?len bstr sockaddr tries to send len bytes in bigstring bstr starting at position pos to socket sock using address addr.

sequence anons specifies a sequence of anonymous arguments.

set t b is ignore (signal t b)

set t when sets t to fire once, at the time specified by when.

Set the ``close-on-exec'' flag on the given descriptor.

Set a timeout for a socket associated with an in_channel

set_mcast_loop sock loop sets the boolean argument that determines whether sent multicast packets are looped back to local sockets.

set_mcast_ttl sock ttl sets the time-to-live value of outgoing multicast packets for socket sock to ttl.

Set the ``non-blocking'' flag on the given descriptor.

Set a timeout for a socket associated with an out_channel

set_repeating ?initial t interval sets t to fire every interval starting at when.

Set the real group id and effective group id for the process.

setitimer t s sets the interval timer t and returns its previous status.

Set the calling thread's priority in the linux scheduler

Put the calling process in a new session and detach it from its controlling terminal.

Set or clear a boolean-valued option in the given socket.

Same as UnixLabels.setsockopt for a socket option whose value is a floating-point number.

Same as UnixLabels.setsockopt for an integer-valued socket option.

Same as UnixLabels.setsockopt for a socket option whose value is an int option.

settcpopt_bool sock opt v sets the current value of the boolean TCP socket option opt for socket sock to value v.

Sets the real user id and effective user id for the process.

Unknown error

Socket

(for profiling) decrements both when the process is running and when the system is running on behalf of the process; it sends SIGPROF when expired.

Lock a region for reading, or fail if already locked

Name of service or port number

indicates positions relative to the end of the file

Close both

Forbid binding an IPv6 socket to an IPv4 address

Timeout for output operations

The first type parameter controls whether the iobuf can be written to.

shift_epoch_time zone [`Local | `UTC] time Takes an epoch (aka "unix") time given either in local or in UTC (as indicated in the arguments) and shifts it according to the local time regime in force in zone.

The type of commands for shutdown.

``Shut down'' a connection established with UnixLabels.open_connection; that is, transmit an end-of-file condition to the server reading on the other side of the connection.

sigmask cmd sigs changes the set of blocked signals for the calling thread.

signal t sets the behavior of the system on receipt of signal t and returns the behavior previously associated with t.

sigpending () returns the set of blocked signals that are currently * pending.

sigprocmask cmd sigs changes the set of blocked signals.

sigsuspend sigs atomically sets the blocked signals to sigs and waits for * a non-ignored, non-blocked signal to be delivered.

Same as write but ensures that all errors are reported and that no character has ever been written when an error is reported.

Stop execution for the given number of seconds.

Create a new socket in the given domain, and with the given kind.

The socket options that can be consulted with UnixLabels.getsockopt and modified with UnixLabels.setsockopt.

The socket options that can be consulted with UnixLabels.getsockopt_float and modified with UnixLabels.setsockopt_float.

The socket options that can be consulted with UnixLabels.getsockopt_int and modified with UnixLabels.setsockopt_int.

Create a pair of unnamed sockets, connected together.

split filename returns (dirname filename, basename filename)

split_extension fn return the portion of the filename before the extension and the (optional) extension.

Return the information for the named file.

Return the information for the named file.

The informations returned by the UnixLabels.stat calls.

File descriptor for standard standard error.

File descriptor for standard input.

File descriptor for standard output.

combinator for patching up how parameters are obtained or presented

Stop Stop

Convert a date and time, specified by the tm argument, into a formatted string.

Given a format string, convert a corresponding string to a date and time See 'man strptime' for format options.

sub t s subtracts the span s from time t and returns the resulting time.

sub t ~pos ~len returns a new iobuf with limits and window set to the subrange of t specified by pos and len.

symlink source dest creates the file dest as a symbolic link to the file source.

Synchronize all filesystem buffers with disk.

synchronize f creates a mutex and returns a new function that is identical to f except that the mutex is held during its execution.

The default behaviour of the system if these signals trickle to the top level of a program.

System configuration

Execute the given command, wait until it terminates, and return its termination status.

t_of_sexp_abs sexp as t_of_sexp, but demands that sexp indicate the timezone the time is expressed in.

Waits until all output written on the given file descriptor has been transmitted.

Suspend or restart reception or transmission of data on the given file descriptor, depending on the second argument: TCOOFF suspends output, TCOON restarts output, TCIOFF transmits a STOP character to suspend input, and TCION transmits a START character to restart input.

Discard data written on the given file descriptor but not yet transmitted, or data received but not yet read, depending on the second argument: TCIFLUSH flushes data received but not read, TCOFLUSH flushes data written but not transmitted, and TCIOFLUSH flushes both.

Return the status of the terminal referred to by the given file descriptor.

Send a break condition on the given file descriptor.

Set the status of the terminal referred to by the given file descriptor.

The name of the temporary directory:

Terminate Termination

true iff Thread.create has ever been called, even if there is currently only one running thread.

Return the current time since 00:00:00 GMT, Jan.

timedlock mtx timeout like lock, but takes a timeout parameter.

timedwait cond mtx timeout waits on condition variable cond with mutex mtx until either the condition is signalled, or until timeout expires.

Convert a UTC time in a tm record to a time in seconds

Return the execution times of the process.

The type representing wallclock time and calendar date.

to_epoch t returns the number of seconds since Jan 1, 1970 00:00:00 in UTC

to_filename_string t converts t to string with format YYYY-MM-DD_HH-MM-SS.mmm which is suitable for using in filenames

with milliseconds

to_sec_string t Same as to_string, but without milliseconds

trailing milliseconds are trimmed

to_short_string t pretty-prints approximate time span using no more than five characters if the span is positive, and six if the span is negative.

to_string t returns a human-readable name: "sigabrt", "sigalrm", ...

to_string t returns the bytes in t as a string.

Return the printable representation of the given Internet address.

to_string_abs ?zone t returns a string that represents an absolute time, rather than a local time with an assumed time zone.

to_string_trimmed t Same as to_string, but removes trailing seconds and milliseconds if they are 0

trailing seconds and subseconds are trimmed off if they are 0

transfer blits len bytes from src to dst, advancing the lower bounds of both windows.

Transfers all elements from the squeue to an ordinary queue.

Transfers all the elements from an ordinary queue into the squeue.

Transfers all elements from the squeue to an ordinary queue.