`sig
type t
module V : Sig.COMPARABLE
module E :
sig
type t
type label
val label : Fixpoint.G.E.t -> Fixpoint.G.E.label
val dst : Fixpoint.G.E.t -> V.t
val src : Fixpoint.G.E.t -> V.t
end
val fold_vertex : (V.t -> 'a -> 'a) -> Fixpoint.G.t -> 'a -> 'a
val succ_e : Fixpoint.G.t -> V.t -> Fixpoint.G.E.t list
val pred_e : Fixpoint.G.t -> V.t -> Fixpoint.G.E.t list
val succ : Fixpoint.G.t -> V.t -> V.t list
val pred : Fixpoint.G.t -> V.t -> V.t list
end`