dafny_runtime

Macro cast_object

Source
macro_rules! cast_object {
    ($raw:expr, $id:ty) => { ... };
}