Module type Bastet__Interface.SEMIGROUP

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