sig
  type t
  module V : Sig.ORDERED_TYPE
  type vertex = V.t
  val mem_vertex : Strat.G.t -> Strat.G.vertex -> bool
  val succ : Strat.G.t -> Strat.G.vertex -> Strat.G.vertex list
  val fold_vertex : (Strat.G.vertex -> '-> 'a) -> Strat.G.t -> '-> 'a
  val fold_succ :
    (Strat.G.vertex -> '-> 'a) -> Strat.G.t -> Strat.G.vertex -> '-> 'a
end