vstd
In vstd::
prelude
vstd
::
prelude
Function
spec_chained_value
Copy item path
pub fn spec_chained_value<IntegerType>(_a: IntegerType) ->
SpecChain
where IntegerType:
Integer
,