Macro prusti_contracts::closure

macro_rules! closure {
    ($condition:ident ($($args:tt)*), $($tail:tt)*) => { ... };
    ($($tail:tt)*) => { ... };
}

A macro for defining a closure with a specification. Note: this is a declarative macro defined in this crate because declarative macros can’t be exported from the prusti-contracts-proc-macros proc-macro crate. See https://github.com/rust-lang/rust/issues/40090.