codeql/java-all
7.8.3-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
signature predicate typecheck(Typ t1, Typ t2)