qtil
advanced-security/qtil-swift 0.0.3
Search

Predicate constructOpenExistentialExpr

The characteristic predicate of OpenExistentialExpr synthesized instances. INTERNAL: Do not use.

Import path

import codeql.swift.elements.expr.internal.OpenExistentialExprConstructor
predicate constructOpenExistentialExpr(OpenExistentialExpr id)