sig
  type t
  type vertex
  val get_initial : Strat.PLAYER.t -> Strat.PLAYER.vertex
  val is_final : Strat.PLAYER.t -> Strat.PLAYER.vertex -> bool
  val turn : Strat.PLAYER.t -> Strat.PLAYER.vertex -> bool
end