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