Module type `ChaoticIteration.G`

Minimal graph signature for the algorithm. Sub-signature of Traverse.G.

type t

module V : Sig.COMPARABLE

module E : sig ... end

val fold_pred_e : (E.t -> 'a -> 'a) -> t -> V.t -> 'a -> 'a