Parameter Euclidean_Ring.2-EQ

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