1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
---
source: crates/symbols/src/document/tests.rs
expression: "document_symbols(&fixture.workspace, document)"
---
[
Symbol {
name: "Lemma 1 (Foo)",
kind: Theorem,
label: Some(
Span(
"thm:foo",
147..162,
),
),
full_range: 129..182,
selection_range: 147..162,
children: [],
},
Symbol {
name: "Lemma 2",
kind: Theorem,
label: Some(
Span(
"thm:bar",
197..212,
),
),
full_range: 184..232,
selection_range: 197..212,
children: [],
},
Symbol {
name: "Lemma",
kind: Theorem,
label: Some(
Span(
"thm:baz",
247..262,
),
),
full_range: 234..282,
selection_range: 247..262,
children: [],
},
Symbol {
name: "Lemma (Qux)",
kind: Theorem,
label: None,
full_range: 284..322,
selection_range: 284..322,
children: [],
},
]
|