summaryrefslogtreecommitdiff
path: root/runtime/queries/lean/locals.scm
blob: dd6c203631bfc1200c646d6d6cdbdc449d073de6 (plain) (blame)
1
2
3
4
5
[
  (module)
  (namespace)
  (section)
] @local.scope