Member predicate MultiAssignmentDefinition::indexOf
Holds if this
has (zero-based) index index
in lhs
.
predicate indexOf(int index, SequenceNode lhs)
Holds if this
has (zero-based) index index
in lhs
.
predicate indexOf(int index, SequenceNode lhs)