sig type t = VL.t * EL.t * VL.t val compare : t -> t -> int type vertex = CFG.vertex val src : t -> vertex val dst : t -> vertex type label = EL.t val create : vertex -> label -> vertex -> t val label : t -> label end