Skip to main content

requires

Macro requires 

Source
macro_rules! requires {
    ($($arg:tt)*) => { ... };
}
Expand description

Like invariant, but for preconditions.