MakeG.2-Elt
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