Last indexation completed on 2022-08-12 02:00:14 UTC
Type the full name of an identifier to look for
(a function name, variable name, typedef, etc).
Matches are case-sensitive.
Check "Definitions only" to find only definitions of the symbol
(unchecked, all references).
As a convenience,
extra 999 line numbers denote
(either belonging to a case-insensitive language or differing in case).
Definitions for proof_thing_sel
2 declarations in 2 files.
References to proof_thing_sel
2 references in 2 files.