dafny_runtime

Macro tuple_extract_index

Source
macro_rules! tuple_extract_index {
    ($x:expr, $i:expr) => { ... };
}