dafny_runtime

Macro array

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