Module Cil2cfg.EL


module EL: sig .. end
the CFG edges

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