dafny_runtime

Macro cast

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