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