vstd
In vstd::
prelude
vstd
::
prelude
Function
choose_tuple
Copy item path
pub fn choose_tuple<A, F>(_f: F) -> A