val var_list : Stdlib.Format.formatter -> Var.t list -> unitval instr : Stdlib.Format.formatter -> instr -> unitval block : ( Addr.Map.key -> xinstr -> string ) -> int -> block -> unitval program : ( Addr.Map.key -> xinstr -> string ) -> program -> unitval last : Stdlib.Format.formatter -> last -> unitval cont : Stdlib.Format.formatter -> cont -> unit