sig
  type t = Cil2cfg.node_type Pervasives.ref
  val hash : Cil2cfg.node_type Pervasives.ref -> int
  val equal :
    Cil2cfg.node_type Pervasives.ref ->
    Cil2cfg.node_type Pervasives.ref -> bool
  val compare :
    Cil2cfg.node_type Pervasives.ref ->
    Cil2cfg.node_type Pervasives.ref -> int
  val stmt_opt : Cil2cfg.node_type Pervasives.ref -> Cil_types.stmt option
  val stmt : Cil2cfg.node_type Pervasives.ref -> Cil_types.stmt
  val pretty : Format.formatter -> Cil2cfg.node_type Pervasives.ref -> unit
end