qtil
advanced-security/qtil-go 0.0.3
Search

Member predicate TypeSetTerm::includesType

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

predicate includesType(Type t)