Up – bastet » Bastet » Dual » Semigroup

Module `Dual.Semigroup`

Parameters

S : Interface.SEMIGROUP

Signature

include Interface.MAGMA

type t

val append : t -> t -> t