{"textDocument": {"uri": "file:///matchStxCompletion.lean"},
 "position": {"line": 8, "character": 9}}
{"items":
 [{"label": "f1",
   "kind": 5,
   "data": ["file:///matchStxCompletion.lean", 8, 9, 1, "cC.f1"]},
  {"label": "b1",
   "kind": 5,
   "data": ["file:///matchStxCompletion.lean", 8, 9, 1, "cC.b1"]},
  {"label": "f2",
   "kind": 5,
   "data": ["file:///matchStxCompletion.lean", 8, 9, 1, "cC.f2"]}],
 "isIncomplete": false}
Resolution of f1:
{"label": "f1",
 "kind": 5,
 "detail": "C → Nat",
 "data": ["file:///matchStxCompletion.lean", 8, 9, 1, "cC.f1"]}
Resolution of b1:
{"label": "b1",
 "kind": 5,
 "detail": "C → String",
 "data": ["file:///matchStxCompletion.lean", 8, 9, 1, "cC.b1"]}
Resolution of f2:
{"label": "f2",
 "kind": 5,
 "detail": "C → Bool",
 "data": ["file:///matchStxCompletion.lean", 8, 9, 1, "cC.f2"]}