helix - Unnamed repository; edit this file 'description' to name the repository.


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

; Scopes
(block) @local.scope
(database) @local.scope

; Definitions
(floating_stmt
  (label) @local.definition.variable)

(essential_stmt
  (label) @local.definition.variable)

(axiom_stmt
  (label) @local.definition.function)

(provable_stmt
  (label) @local.definition.function)

(variable_stmt
  (variable) @local.definition.variable)

(constant_stmt
  (constant) @local.definition.constant)

; References in proofs
(uncompressed_proof
  (label) @local.reference)