sig
  type t
  type vertex
  val empty : Strat.STRAT.t
  val add :
    Strat.STRAT.t ->
    Strat.STRAT.vertex -> Strat.STRAT.vertex -> Strat.STRAT.t
  val next : Strat.STRAT.t -> Strat.STRAT.vertex -> Strat.STRAT.vertex
end