Module 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 : Stdlib.Format.formatter -> t -> unit

val create : unit -> t

val equal : t -> t -> bool