sig type a = a val eq : a -> a -> bool end