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