sig type t val src : ChaoticIteration.G.E.t -> V.t end