pub fn walk_tagged(
ops: &[TaggedOp],
mult: u64,
f: &mut dyn FnMut(&TaggedOp, u64),
)Expand description
Walk a tagged choreography: f(tagged op, multiplicity) for every op reached, loop bodies included, each loop run
to a trip counted at its greatest count.