spec_chained_value
vstd
In vstd::
prelude
vstd
::
prelude
Function
spec_
chained_
value
Copy item path
pub fn spec_chained_value<T>(_a: T) ->
SpecChain
where T:
Chainable
,