Parameter Medial_Quasigroup.2-E

type t = Q.t
val eq : t -> t -> bool