dafny_runtime

Macro refcount

Source
macro_rules! refcount {
    ($x:expr) => { ... };
}