vstd
In vstd::std_specs::core
?
Settings
Function
vstd
::
std_specs
::
core
::
ex_intrinsics_likely
Copy item path
source
·
[
−
]
pub
exec
fn ex_intrinsics_likely(b:
bool
) ->
c :
bool
Expand description
ensures
c == b,