Printmachval reg : Format.formatter -> Reg.t -> unitval regs : Format.formatter -> Reg.t array -> unitval regset : Format.formatter -> Reg.Set.t -> unitval regsetaddr : Format.formatter -> Reg.Set.t -> unitval operation : Mach.operation -> Reg.t array -> Format.formatter -> Reg.t array -> unitval test : Mach.test -> Format.formatter -> Reg.t array -> unitval instr : Format.formatter -> Mach.instruction -> unitval fundecl : Format.formatter -> Mach.fundecl -> unitval phase : string -> Format.formatter -> Mach.fundecl -> unitval interferences : Format.formatter -> unit -> unitval intervals : Format.formatter -> unit -> unitval preferences : Format.formatter -> unit -> unit