Function all_goals 

pub fn all_goals(t: Tactic) -> Tactic

t1 <;> t2-style: apply t to EVERY goal currently open (not just the focused one). Each goal is focused in turn; the subgoals t produces for it become the new open set, in original goal order.