Index of modules

Debug builds a pool in which every function can run invariant on its pool argument(s) and/or print a debug message to stderr, as determined by !check_invariant and !show_messages, which are initially both true.

Error_check builds a pool that has additional error checking for pointers, in particular to catch using a freed pointer or multiply freeing a pointer.

An array of tuples, flattened into a single array.

This signature is here to remind us to update the unit tests whenever we change Flat_tuple_array.

None is an inefficient implementation of pools that uses OCaml's memory allocator to allocate each object.

Obj_array is an efficient implementation of pools that uses a single chunk of memory, and is what an application should ultimately use.

An array of Obj.ts.

See pool_intf.ml for documentation.

A manual memory manager for a set of tuples.

At the heart of a timing wheel is a priority queue in which the keys are non-negative integers corresponding to the intervals of time.

A specialized priority queue for a set of time-based alarms.

This interface is only here to remind us to add a unit test whenever the interface of Timing_wheel changes.

Tuple-like types used in Flat_tuple_array and Pool.

Slots has types t1, ..., t9 of arities 1 to 9 that are isomorphic to tuple types of the corresponding arities.