Module Cfg_intf

Control flow graph structure types that are shared between the internal (mutable) and external (immutable) views of Cfg.

module S : sig ... end