sig 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 end