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