signature IGRAPH =
sig
structure OperSet : ORD_SET
- where type Key.ord_key = x86.oper
+ where type Key.ord_key = Blarg.oper
structure LiveMap : ORD_MAP
where type Key.ord_key = int
structure TempMap : ORD_MAP
type livenesses = Liveness.livenesses
type graph = OperSet.set TempMap.map
- structure X = x86
+ structure X = Blarg
fun add_temp_interfere g (t, oper) =
let