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