Skip to main content
verus_erasure_get_first
vstd
In vstd::
prelude
vstd
::
prelude
Function
verus_
erasure_
get_
first
Copy item path
pub fn verus_erasure_get_first<S, T>(s: S, _: T) -> S