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