sig type t type label val label : Fixpoint.G.E.t -> Fixpoint.G.E.label val dst : Fixpoint.G.E.t -> V.t val src : Fixpoint.G.E.t -> V.t end