static S formatDoubleLeftArrowMap(Map map) {
  ret lines(mapMapToList(map, func(O key, O value) -> S {
    str(value) + " <= " + str(key)
  }));
}