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