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