open Datatypes
open List
open Locations

val parallel_move_order: loc list -> loc list -> (loc, loc) prod list