Parameter Eq_array.E

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