☰
vstd
In vstd::std_specs::hash
?
Function
vstd
::
std_specs
::
hash
::
set_contains_borrowed_key
source
·
[
−
]
pub
spec
fn set_contains_borrowed_key<Key, Q: ?
Sized
>(m:
Set
<Key>, k:
&Q
) ->
bool
Expand description