{"textDocument": {"uri": "file:///completionCheck.lean"},
 "position": {"line": 6, "character": 33}}
{"items":
 [{"label": "AVerySpecificStructureName2",
   "kind": 22,
   "data":
   ["file:///completionCheck.lean", 6, 33, 0, "cAVerySpecificStructureName2"]},
  {"label": "AVerySpecificStructureName",
   "kind": 22,
   "data":
   ["file:///completionCheck.lean", 6, 33, 0, "cAVerySpecificStructureName"]}],
 "isIncomplete": false}
Resolution of AVerySpecificStructureName2:
{"label": "AVerySpecificStructureName2",
 "kind": 22,
 "detail": "Type",
 "data":
 ["file:///completionCheck.lean", 6, 33, 0, "cAVerySpecificStructureName2"]}
Resolution of AVerySpecificStructureName:
{"label": "AVerySpecificStructureName",
 "kind": 22,
 "detail": "Type",
 "data":
 ["file:///completionCheck.lean", 6, 33, 0, "cAVerySpecificStructureName"]}