Function seq 

pub fn seq(tactics: Vec<Tactic>) -> Tactic

t1; t2; …: run each tactic in turn; fail (without committing the rest) at the first that does not apply.