Module Cil2cfg.EL

module EL: sig .. end
the CFG edges

val compare_edge_type : Cil2cfg.edge_type -> Cil2cfg.edge_type -> int
type t = 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