Module Code.Print

type xinstr =
| Instr of instr
| Last of last
val var_list : Format.formatter -> Var.t list -> unit
val instr : Format.formatter -> instr -> unit
val block : (Addr.Map.key -> xinstr -> string) -> int -> block -> unit
val program : (Addr.Map.key -> xinstr -> string) -> program -> unit
val last : Format.formatter -> last -> unit
val cont : Format.formatter -> cont -> unit