mirror of
https://github.com/github/codeql.git
synced 2026-05-10 01:10:09 +02:00
The dbscheme technically allows for any Type, but in practice it will always be a PointerType, so this should make it easier for users to understand.