Method should_follow

src/types/mod.rs:678–680

(&self)

    #[pure]
    #[ensures(result == nth_bit_set_u32(self.0, 0))]
    pub fn should_follow(&self) -> bool {
        nth_bit_set_u32(self.0, 0)
    }
}

pub struct OFlags(u32);