Prime_accretion_map_intf.Monoid
A monoid structure.
type t
val empty : t
The identity element of cat.
cat
val cat : t -> t -> t
The binary operator, which must be associative.