Core_over_semigroup.S
type t
the type held by the Semigroup.
Semigroup
val combine : t -> t -> t
combine x y Combine two values (x and y) of t into one.
combine x y
x
y
t