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