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