CodeQL library for Go
codeql/go-all 0.7.15-dev (changelog, source)
Search

Member predicate TypeSetTerm::includesType

Holds if t is in the type set of this term.

predicate includesType(Type t)