CodeQL library for Rust
codeql/rust-all 0.2.22 (changelog, source)
Search

Member predicate EmptinessSuccessor::getValue

Gets the Boolean value of this successor.

boolean getValue()