module type STRAT =sig..end
Signature for strategies: for a given state, the strategy tells which state to go to
type
type
val empty : t
val add : t -> vertex -> vertex -> t
val next : t -> vertex -> vertexInvalid_argument if vertex's image is not defined