advanced-security/qtil-swift
0.0.3
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
import qtil.fn.generated.Tp
predicate tp(A a, A0 a0, B0 b0)