Prime_accretion_map_intf.MonoidG
A monoid with an explicit generator type.
include Monoid
type t
val empty : t
The identity element of cat.
cat
val cat : t -> t -> t
The binary operator, which must be associative.
type generator
val of_generator : generator -> t