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