Parameter Abelian_Group.2-E

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