module type 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 playersig
..end
type
t
type
vertex
val get_initial : t -> vertex
val is_final : t -> vertex -> bool
val turn : t -> vertex -> bool