#

- Index of types
- Index of exceptions
- Index of values
- Index of modules
- Index of module types

Alternating_primary_backup_assignment | role assignment for systems with a primary and backup instances that switch roles daily for ease of deploying new versions.
Atomic_edit | Atomically edit a file without long-term locking
Bin_io_utils | A container for storing an `'a` as a bin-io buffer.
Bitarray | This module implements efficient and compact arrays of boolean values.
Cache | Generic caching library
Cbuffer | Circular buffers.
Color_print |
Crit_bit |
Csv_writer | Compliant simple CSV writter.
Deprecated_bench | DEPRECATED: use the base/bench library instead
Deprecated_command | DEPRECATED: use Core.Std.Command instead
Deprecated_fcommand | DEPRECATED: use Core.Std.Command instead
Deprecated_service_command | `command ~lock_file ~name main` creates a command group for starting, stopping, restarting, and checking the status of a daemon (the code for which lives in the argument `main`).
Documented_match_statement | A `t` represents a match statement where every case is documented.
English | Translating English into useful data structures
Environment |
Exception_check | Code to test the effect of exceptions happening in strategic places in daemons.
Extended_array | Extensions to `Core.Core_array`.
Extended_common | Pervasive functions.
Extended_exn | Extensions to `Core.Exn`.
Extended_filename | Extensions to `Core.Core_filename`.
Extended_float | Extensions to `Core.Float`.
Extended_gc | Extensions to `Core.Gc`.
Extended_hashtbl |
Extended_int | Computes greatest common divisor for the given two integers, with convention that `gcd 0 0 = 0`.
Extended_int32 | Extensions to `Core.Core_int32`
Extended_int63 | Extensions to `Core.Core_int63`
Extended_int64 | Extensions to `Core.Core_int64`
Extended_linux | Splicing - zero-copies between kernel buffers
Extended_list | Extensions to `Core.Core_list`.
Extended_list__LCS |
Extended_list__multimerge |
Extended_memo | Extensio to `Core.Memo`
Extended_monad |
Extended_nativeint |
Extended_option |
Extended_result | Extension to the
Extended_sexp | Extensions to `Sexplib.Sexp`.
Extended_string | Extensions to `Core.Core_String`.
Extended_sys | Utility functions concerning the OCaml-runtime
Extended_thread | Extensions to `Core.Core_thread`
Extended_time | Shortcut for calling Core_extended.Unix.strftime without having to create a Time.t and convert it to a Unix.tm.
Extended_unix | Extensions to `Core.Unix`.
Extra_fields |
Fd_leak_check | File descriptor leak check.
Find | Unix like `find`.
Flang | The language of terms over a field.
Float_ref | Allows mutable float record fields where setting the value is much faster because it avoids write barrier.
Fold_map | A map that folds in new values.
Generic |
Hashtbl2 | `mem1 t key1` is true iff \exists key2 s.t.
Hashtbl2_pair |
Interval_map | See `Interval_map_inf`.
Interval_map_intf | Represents a single interval across a key type.
Invariant |
Invocation |
Iter | Astract iterators.
Lazy_list | Lazy lists.
Lazy_m | A non-threadsafe reimplementation of `Lazy`
Lazy_sequence |
Left_boundary |
Linebuf | Line-by-line reading of a file.
List_zipper |
Logger | Another logging library.
Low_level_debug | A canary thread starts two threads, one in caml and one in C.
Malloc | Malloc bindings
Multi_map | Maps with mutliple bindings.
Net_utils | Networking utilities
Number | Specification of general number properties
Olang | The language of predicates over an ordered set.
Packed_array | A packed array is a read-only array that has a fairly compact representation and will not be traversed by the GC.
Packed_map | A packed map is a map from keys to values, represented using a packed array of key-value tuples which is sorted by key.
Posix_clock |
Pp | Functional pretty printing.
Printc | alias for String.concat
Process | Low-level process handling
Procfs | Process and system stats
Prod_or_test |
Quickcheck_deprecated | the type of a random `'a`-generator
Random_selection | reservoir sampling
Readline | Interactive line editing.
Readline__input_char |
Readline__input_loop |
Runtime_blockout_detector | `Runtime_blockout_detector` is used detect bugs in C libraries that fail to release the OCaml runtime lock before making blocking calls.
Rw_mutex | Read/write mutexes
Sampler | a compiled finite discrete probability distribution that supports constant time sampling
Search_foo |
Selector |
Semaphore | Semaphores
Sendmail |
Service_command | `acquire_lock_exn slot` locks `slot`.
Set_lang |
Set_lang_intf |
Shell | Shell scripting in OCaml.
Shell__core |
Shell__line_buffer | String buffers that automatically get flushed at every line return.
Sntp | Simple Network Time Protocol
Splay_tree |
Std |
String_zipper |
Sys_utils | Various system utility functions.
Tcp | `with_conn` opens a connection to the TCP service on `host` `port` and if successful calls `f` with In_channel.t and Out_channel.t as arguments.
Timed_function | Functions with timeouts
Trie |
Unix_utils | Interface to Unix utility functions
Update_queue | A `'state t` keeps track of updates of type `'state -> 'state` queued to it and runs them sequentially.