Basis case for tuple_element: The first element is the one we're seeking.
Definition at line 1292 of file tuple.
Definition at line 1294 of file tuple.