Parameter Eq_list.E

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