ParallelMove is a rewrite pass, agnostic in the IntermediateLanguage which it produces.

Description

This function computes a sequence of individual moves to effect a parallel move (with possibly overlapping froms and tos).

Implementation

parallel-move.sig parallel-move.fun

Details and Notes