sig
  type t = Cil2cfg.node
  val hash : Cil2cfg.node_info -> int
  val equal : Cil2cfg.node_info -> Cil2cfg.node_info -> bool
  val compare : Cil2cfg.node_info -> Cil2cfg.node_info -> int
  val pretty : Format.formatter -> Cil2cfg.node_info -> unit
end