Rename src/RenameWithInterface.resi 0:4 y
[
{
  "textDocument": {
  "version": null,
  "uri": "RenameWithInterface.resi"
  },
  "edits": [{
  "range": {"start": {"line": 0, "character": 4}, "end": {"line": 0, "character": 5}},
  "newText": "y"
  }]
  },
{
  "textDocument": {
  "version": null,
  "uri": "RenameWithInterface.res"
  },
  "edits": [{
  "range": {"start": {"line": 0, "character": 4}, "end": {"line": 0, "character": 5}},
  "newText": "y"
  }]
  },
{
  "textDocument": {
  "version": null,
  "uri": "Cross.res"
  },
  "edits": [{
  "range": {"start": {"line": 18, "character": 28}, "end": {"line": 18, "character": 29}},
  "newText": "y"
  }, {
  "range": {"start": {"line": 21, "character": 28}, "end": {"line": 21, "character": 29}},
  "newText": "y"
  }]
  }
]

