dafny_runtime

Macro modify

Source
macro_rules! modify {
    ($ptr:expr) => { ... };
}