Module Wp.CfgCompiler.Cfg.Node

module Node: sig .. end

Program point along a trace.


type t 
module Map: Qed.Idxmap.S  with type key = t
module Set: Qed.Idxset.S  with type elt = t
module Hashtbl: Hashtbl.S  with type key = t
val pp : Format.formatter -> t -> unit
val create : unit -> t
val equal : t -> t -> bool