Last indexation completed on 2023-05-26 22:38: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 myProof
3 declarations in 3 files.
References to myProof
6 references in 2 files.
