Parameter Medial_Magma.2-E

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