Module To_dot.Make

Parameters

module Summary : States.S

Signature

type summaryty = Summary.t
val summary : Summary.t ref
val bb_to_node : Basicblock.t -> Dot.Node_Stmt.t
val cfg_to_dot : Cfg.t -> Basicblock.t -> Basicblock.t list -> Basicblock.t list * Dot.Stmt.t list
val func_to_dot : Function.t -> Dot.DIGraph.t
val make : Module.t -> Module.M.key -> unit