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