Cfg (basil_ast.Basillang.Cfg)

module IntMap : sig ... end

module StringMap : sig ... end

module Vert : sig ... end

module Edge : sig ... end

module G : sig ... end

type procedure_rec = {

}

val block_edge_with_begin : 
  G.t ->
  G.vertex ->
  (G.vertex * G.vertex * Edge.t) Containers.Option.t

val block_with_begin : G.t -> G.vertex -> Edge.t Containers.Option.t

val block_edge_with_end : 
  G.t ->
  G.vertex ->
  (G.vertex * G.vertex * Edge.t) Containers.Option.t

val block_with_end : G.t -> G.vertex -> Edge.t Containers.Option.t

val graph_of_proc : BasilAST.BasilAST.proc -> procedure_rec

module GG : sig ... end

module Dot : sig ... end

val output_dot : string -> procedure_rec -> unit

val viewer_cmd : string

val viewer_fmt : string

val display_with_viewer : procedure_rec -> unit