assume

Macro assume 

Source
macro_rules! assume {
    ($e:expr) => { ... };
}