Something went wrong. Try again.
forked from verus-lang/verus
Something went wrong. Try again.
12345678910111213141516171819#[allow(unused_imports)]use verus_builtin::*;#[allow(unused_imports)]use verus_builtin_macros::*;use vstd::seq::*;
verus! {
fn main() { proof { let s: Seq<int> = seq![0, 10, 20, 30, 40]; assert(s.len() == 5); assert(s[2] == 20); assert(s[3] == 30); }}
} // verus!