Module type Interface.SEMIGROUP

include MAGMA
type t
val append : t -> t -> t