2 (** This module provides a function to print Control Flow Graphs. *)
4 (* Pasted from Pottier's PP compiler *)
9 (Label.t -> 'instruction -> string list) -> (* prints instruction [i] at label [l] *)
10 ('instruction -> Label.t list) -> (* provides succcessors of instruction [i] *)
11 ('instruction Label.Map.t * Label.t) printer (* control flow graph and entry point printer *)