Module type Regalloc_rewrite.Utils
val log : ?no_eol:unit -> ('a, Format.formatter, unit) format -> 'aval log_body_and_terminator :
Cfg.basic_instruction_list ->
Cfg.terminator Cfg.instruction ->
Regalloc_utils.liveness ->
unit