Macro assert_prop 

macro_rules! assert_prop {
    ($($arg:tt)*) => { ... };
}

Assert a logical proposition Prop: this exists only in the backends of hax. In Rust, this macro expands to an empty block { }.