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) ->
    ChaoticIteration.G.t -> V.t -> '-> 'a
end