/*
* SPDX-License-Identifier: Apache-2.0 OR MIT
* © 2020-2022 ETH Zurich and other contributors, see AUTHORS.txt for details
*/
/// Returns a reference to the first element of a tuple reference.
/// Returns a reference to the second element of a tuple reference.
/// Returns a mutable reference to the first element of a mutable tuple reference.
/// Returns a mutable reference to the second element of a mutable tuple reference.