Member predicate IR::ExtractTupleElementInstruction::extractsElement
Holds if this extracts the idxth value of the result of base.
predicate extractsElement(Instruction base, int idx)Holds if this extracts the idxth value of the result of base.
predicate extractsElement(Instruction base, int idx)