Module Cobol_cfg.Builder

val make : options:Cobol_cfg__.Cfg_options.t -> name:string -> Cobol_typeck.Outputs.t -> Graph__Persistent.Digraph.ConcreteLabeled(Cobol_cfg__.Cfg_types.Node)(Cobol_cfg__.Cfg_types.Edge).t * Graph__Persistent.Digraph.ConcreteLabeled(Cobol_cfg__.Cfg_types.Node)(Cobol_cfg__.Cfg_types.Edge).t
val possible_cfgs_of_doc : Cobol_typeck.Outputs.t -> string list