Parameter Abelian_Group_Any.2-E

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