codeql/rust-all
0.1.13
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if getThen() exists.
getThen()
predicate hasThen()