sig type t module V : Sig.COMPARABLE module E : sig type t val src : ChaoticIteration.G.E.t -> V.t end val fold_pred_e : (ChaoticIteration.G.E.t -> 'a -> 'a) -> ChaoticIteration.G.t -> V.t -> 'a -> 'a end