val uid : t -> Uid.t
val equal : t -> t -> bool
val expr : t -> t expr
-val st :
- t ->
- (StateSet.t * StateSet.t * StateSet.t) *
- (StateSet.t * StateSet.t * StateSet.t)
+val st : t -> StateSet.t * StateSet.t
val compare : t -> t -> int
val size : t -> int
val print : Format.formatter -> t -> unit