Module type Fixpoint.G

module type G = sig .. end

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