Index of types

A subprocess for interactive usage (read/write channels line by line)

Dot attribute

Dot attributes for nodes

Levenshtein automaton

Bag of elements of type 'a

A converter from S-expressions to 'a is a function sexp -> 'a option.

The element type

Elements that are to be counted

See Gen in the gen library

A dot graph is a name, plus a list of trees labelled with attributes

Hash function for values of type 'a, merging a fingerprint of the value into the state of type t

An array of k hash functions on values of type 'a.

An accessor for values of type 'a in any map.

An accessor for values of type 'b in any table.

The type of input, which must allow for backtracking somehow.

A unique "key" to access a value of type 'a in a set

Operation that converts a 'a t into a 'b t

Output channels

A parser of 'a can return `Ok x when it parsed a value, or `Error e when a parse error was encountered, or `End if the input was empty

Compiled pattern (needle: string to search in another string)

Handle to a subprocess.

Alias for immutable vectors.

Hidden state for CCGraph.scc

Cheating: use an equivalent of "to List" with a sequence

A sequence of items of type 'a, possibly infinite

Sequence that should be used only once

Mutable set

Source of characters

State required by the hash function.

Decoder

A file is always represented by its absolute path

An IO stream of values of type 'a, consumable (iterable only once)

Type of a query that returns zero, one or more values of type 'a

A scheduler for events.

Safe-thread queue for values of type 'a

Barrier, used to synchronize threads

A semaphore

A value surrounded with a lock

A future value of type 'a

A view on an array or part of an array

A simple bitvector based on some integral type 'b

Array of OCaml values of type 'a with C representation of type b' with permissions 'perm

Index that maps strings to values of type 'b.

Takes the input and two continuations: ok to call with the result when it's done, err to call when the parser met an error The type definition changed since 0.14 to avoid stack overflows

Parser that yields an error or a value of type 'a

Array of values of type 'a.

Cache for 'a arrays

List containing elements of type 'a

Bloom filter containing values of type 'a

Identifiers for transient modifications.

Generative type of bitfields.

A traversal is a sequence of such events

Directed graph with vertices of type 'v and edges of type e'

Set of elements

A set of values of heterogeneous types

The type of persistent arrays

Defines the ring buffer type, with both bounded and unbounded flavors

The type of an array instance

A map containing values of different types, indexed by CCMixmap.S.key.

A hash table containing values of different types.

A resizable bitvector

Queue containing elements of type 'a

Contains 'a elements, queue in both ways

A file should be represented by its absolute path, but currently this is not enforced.

A hashtable for keys of type key and values of type 'a

A string, an offset, and the length of the slice

Random generator for values of type 'a

Comparison (total ordering) between two elements, that returns an int

Array, or sub-array, containing elements of type 'a

A slice is an array, an offset, and a length

A hash value is a positive integer

The pair l, r represents the list List.rev_append l r, but with the focus on r.

the IO monad

A printer for the type 'a

The type of a vector of elements of type 'a, with a mutability flat 'mut

Mutable table with keys 'k and values 'a

Mutable tags from values of type 'v to tags of type bool

Values contained in the field

Type synonym: a 'a vector is mutable.

Hidden state associated to a vertex

A value of type 'a with_finalizer is similar to a value 'a t but also contains a finalizer that must be run to cleanup.