vstd
vstd
Macro
open_atomic_invariant_in_proof
Copy item path
Source
macro_rules! open_atomic_invariant_in_proof { [$($tail:tt)*] => { ... }; }