Parameter Eq_ref.E

type a
val eq : a -> a -> bool