1#![no_std] 2pub mod bitvec; 3 4pub use attrs::*; 5pub use flux_attrs as attrs; 6 7#[sig(fn(bool[true]) )] 8pub fn assert(_: bool) {} 9 10#[sig (fn() -> _ requires false)] 11pub fn unreachable() -> ! { 12 unreachable!("impossible case") 13}