Prime_accretion_map_intf.Monoid1
A monoid on a polymorphic type.
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.