Function axiom_seq_new_lenCopy item path

pub broadcast proof fn axiom_seq_new_len<A>(len: nat, f: FnSpec<(int,), A>)

#[trigger] Seq::new(len, f).len() == len,