sig
  type t = Cil2cfg.edge_type Pervasives.ref
  val compare : '-> '-> int
  val default : Cil2cfg.edge_type Pervasives.ref
  val pretty : Format.formatter -> Cil2cfg.edge_type -> unit
end