What does `Char_map.add adjacent x []` represent then?