sig
  type t
  module V : Sig.COMPARABLE
  module E :
    sig
      type t
      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