revmc_builtins::macros

Macro assume

Source 
macro_rules! assume {
    ($e:expr $(,)?) => { ... };
    ($e:expr, $($t:tt)+) => { ... };
}