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