Macro vipers::prog_require

macro_rules! prog_require {
    ($invariant : expr, $err : expr $(,) ?) => { ... };
}

Require or return a [ProgramError], logging the string representation to the program log.