sig type a val eq : Eq.Eq.a -> Eq.Eq.a -> bool end