Module Binsec.Cfgraph

type state = private
  1. | Active
  2. | Inactive
module Node : Graph.Sig.COMPARABLE with type t = string * state
module Edge : Graph.Sig.ORDERED_TYPE_DFT with type t = string
module G : sig ... end
module Dot : sig ... end