Module Prime_accretion_map_intf

Accumulation of a monoid over a map (prime.unstable).

module type Monoid1 = sig ... end

A monoid on a polymorphic type.

module type Monoid = sig ... end

A monoid structure.

module type MonoidG1 = sig ... end

A monoid on a polymorphic type with an explicit generator type.

module type MonoidG = sig ... end

A monoid with an explicit generator type.

module type S1 = sig ... end

Signature for an accretion map with polymorphic elements.

module type S = sig ... end

Signature for an accretion map with monomorphic elements. See S1 for documentation.