Parameter Eq_option.E

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