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