Prime_accretion_map_intf.MonoidG1
A monoid on a polymorphic type with an explicit generator type.
include Monoid1
type 'a t
val empty : 'a t
The identity element of cat.
cat
val cat : 'a t -> 'a t -> 'a t
The binary operator, which must be associative.
type 'a generator
val of_generator : 'a generator -> 'a t