Module Bitpath_cover_map

module Bitpath_cover_map: sig .. end

The Bitpath_cover_map implements a mappings from sets of infinite bit-strings, representable by a finite set of common prefixes. In other words, the domain has the same structure as the sets modelled by Bitpath_cover. Both polymorphic and a functor variants are provided to abstract over the codomain, though the former only contains the part of the API which do not depend on equality.

module type Equatable = sig .. end

The signature for types with an equality predicate.

module Poly: sig .. end

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

module Make: 
functor (C : Equatable) -> sig .. end

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