Searched refs:SaveRestore (Results 1 – 1 of 1) sorted by relevance
76 SaveRestore { slot: usize, old_pos: Option<usize> }, enumerator182 Job::SaveRestore { slot, old_pos } => { in backtrack()215 self.m.jobs.push(Job::SaveRestore { in step()