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