Parameter Eq_map_s_t.E

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