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