pub fn seq_is_done(cx: &mut Cx, sequence: &dyn Sequence) -> Result<bool>
Reports whether a sequence is exhausted.