preface.make
Via_combine.Req
preface
preface.core
preface.specs
preface.stdlib
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