CodeQL library for Python
codeql/python-all 0.9.2 ( changelog , source )
Search

Member predicate Public :: RequiredSummaryComponentStack :: required

Holds if the stack obtained by pushing head onto tail is required.

predicate required ( SummaryComponent head , SummaryComponentStack tail )