Function forall_seq Copy item path

pub open spec fn forall_seq<T>(seq: Seq<T>, f: FnSpec<(int, T), bool>) -> bool

{ forall |i| 0 <= i < seq.len() ==> f(i, seq[i]) }