vstd::prelude

Function choose_tuple

pub fn choose_tuple<A, F>(_f: F) -> A