Index of modules

The Bitpath module implements strings of booleans.

Bitpath_cover.t models sets of infinitely long bit-strings which can be described by a finite set of prefixes common to the members.

The Bitpath_cover_map implements a mappings from sets of infinite bit-strings, representable by a finite set of common prefixes.

Utilities and overlays for standard library structures used by the Bitpath library itself.

A functor which implements the full API of prefix-maps, given an equatable type for the codomain.

The polymorphic API to prefix-maps contains the subset of the operations which do not depend on equality on the codomain.