vstd

Macro open_atomic_invariant_in_proof

Source
macro_rules! open_atomic_invariant_in_proof {
    [$($tail:tt)*] => { ... };
}