Function nth_bit_set

src/tcb/misc.rs:58–60

(bv: u16, n: i32)

#[pure]
#[ensures(bv == 0 ==> result == false)]
pub fn nth_bit_set(bv: u16, n: i32) -> bool {
    bv & (1 << n) != 0
}

#[trusted]
#[pure]