Module type Interface.MEDIAL_MAGMA

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