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