MLton MLTONWIKIVERSION

ParallelMove

Home Index

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

Last edited on 2006-11-02 17:53:17 by MatthewFluet.