Module type Interface.QUASIGROUP

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