Member predicate Impl::TupleField::isStructField
Holds if this tuple field is the posth field of struct s.
predicate isStructField(Struct s, int pos)Holds if this tuple field is the posth field of struct s.
predicate isStructField(Struct s, int pos)