struct
type t = int * StateSet.t * StateSet.t
let hash (a,b,c) = HASHINT3(a, (b.StateSet.id :> int), (c.StateSet.id :> int) )
struct
type t = int * StateSet.t * StateSet.t
let hash (a,b,c) = HASHINT3(a, (b.StateSet.id :> int), (c.StateSet.id :> int) )