src/utilities/printCFG.mli

   1
   2 (** This module provides a function to print Control Flow Graphs. *)
   3
   4 (* Pasted from Pottier's PP compiler *)
   5
   6 open PrintPottier
   7
   8 val print_graph:
   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 *)
  12