Medial_Quasigroup.1-Q
include Interface.MEDIAL_MAGMA
include Interface.MAGMA
type t
val append : t -> t -> t