☰
vstd
In vstd::std_specs::core
?
Function
vstd
::
std_specs
::
core
::
ex_intrinsics_unlikely
source
·
[
−
]
pub
exec
fn ex_intrinsics_unlikely(b:
bool
) ->
c :
bool
Expand description
ensures
c == b,