Module Cobol_cfg.Types

type node_type =
  1. | External of string
  2. | Entry of [ `Point | `Paragraph | `Section of string | `Statement of string ]
  3. | Normal of string * string
  4. | Collapsed of string NEL.t
  5. | Split of string
type node = {
  1. id : int;
  2. section_name : string;
  3. loc : Cobol_common.Srcloc.TYPES.srcloc option;
  4. typ : node_type;
  5. jumps : Cobol_cfg__.Cfg_jumps.Jumps.t;
  6. will_fallthru : bool;
  7. terminal : bool;
}
type edge =
  1. | FallThrough
  2. | Perform
  3. | Go
module Node : sig ... end
module Edge : sig ... end
module Cfg : sig ... end