Allocationaux.mli « caml - compcert - CompCert fork with minor modifications for Vericert.

about summary refs log tree commit diff stats

path: root/caml/Allocationaux.mli

blob: 0cf3b944523310f34e63fe632679c2e1d319dc63 (plain)

open Datatypes
open List
open Locations

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