g one character after the identifier, used
for goto-definition</p>
<p>In general, only identifiers composed from upper/lower letters and '.' are supported, but there
are a couple of explicitly handled exceptions to allow some common scenarios:
- When the name contains only letters and '|' symbol, it may be an active pattern, so we
treat it as a valid identifier - e.g. let ( |Identity| ) a = a
(but other identifiers that include '|' are not allowed - e.g. '||' operator)
- It searches for double tick (<code>)