Parameter Operation.Core

type t

the type held by the Semigroup.

val combine : t -> t -> t

combine x y Combine two values (x and y) of t into one.