Module type Strat.PLAYER

module type PLAYER = sig .. end

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