Module BTLtoRTLaux.Instbl

module Instbl: Stdlib.Hashtbl.Make(sig
type t = RTL.instruction 
val equal : RTL.instruction -> RTL.instruction -> bool
val hash : RTL.instruction -> int
end)