Function vstd::std_specs::core::ex_intrinsics_likely

source · 
pub exec fn ex_intrinsics_likely(b: bool) -> c : bool
Expand description
ensures
c == b,