Member predicate Public::RequiredSummaryComponentStack::required
Holds if the stack obtained by pushing head onto tail is required.
predicate required(SummaryComponent head, SummaryComponentStack tail)Holds if the stack obtained by pushing head onto tail is required.
predicate required(SummaryComponent head, SummaryComponentStack tail)