Rename src/Rename.res 0:4 y
[
{
  "textDocument": {
  "version": null,
  "uri": "Rename.res"
  },
  "edits": [{
  "range": {"start": {"line": 0, "character": 4}, "end": {"line": 0, "character": 5}},
  "newText": "y"
  }, {
  "range": {"start": {"line": 3, "character": 8}, "end": {"line": 3, "character": 9}},
  "newText": "y"
  }, {
  "range": {"start": {"line": 7, "character": 8}, "end": {"line": 7, "character": 9}},
  "newText": "y"
  }]
  }
]

Rename src/Rename.res 9:19 yy
[
{
  "textDocument": {
  "version": null,
  "uri": "Rename.res"
  },
  "edits": [{
  "range": {"start": {"line": 9, "character": 11}, "end": {"line": 9, "character": 14}},
  "newText": "yy"
  }, {
  "range": {"start": {"line": 9, "character": 19}, "end": {"line": 9, "character": 21}},
  "newText": "yy"
  }]
  }
]

