Last indexation completed on 2023-09-27 01:46:33 UTC
Identifier search
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
case-insensitive occurrences
(either belonging to a case-insensitive language or differing in case).
Definitions for proof_thing2_sel
2 declarations in 2 files.
References to proof_thing2_sel
2 references in 2 files.
