#include <tuple.h>
Definition at line 47 of file tuple.h.
Definition at line 48 of file tuple.h.
References CVC4::TupleSelect::getIndex().