Parameter Make.G

type t

CFG type

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

Fold over the incoming edges of a node