Strat.PLAYER
Signature for graph add-ons: an initial vertex, final vertices and membership of vertices to either true or false, i.e. first or second player
type t
type vertex
val get_initial : t -> vertex
val is_final : t -> vertex -> bool
val turn : t -> vertex -> bool