1#![no_std] 2 3pub mod bitvec; 4 5pub use attrs::*; 6pub use flux_attrs as attrs; 7 8#[sig(fn(bool[true]) )] 9pub fn assert(_: bool) {}