Module type Bastet__Interface.QUASIGROUP

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