Module type Strat.STRAT

module type STRAT = sig .. end

Signature for strategies: for a given state, the strategy tells which state to go to


type t 
type vertex 
val empty : t
val add : t -> vertex -> vertex -> t
val next : t -> vertex -> vertex