Module type Fixpoint.G

module type G = sig .. end

Minimal graph signature for work list algorithm

type t

module V: Sig.COMPARABLE

module E: sig .. end

val fold_vertex : (V.t -> 'a -> 'a) -> t -> 'a -> 'a

val succ_e : t -> V.t -> E.t list

val pred_e : t -> V.t -> E.t list

val succ : t -> V.t -> V.t list

val pred : t -> V.t -> V.t list