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.