(** Equality over formulae *)
val st : t -> StateSet.t * StateSet.t * StateSet.t
-(** states occuring self, left and right, positively or negatively *)
+(** States occuring self, left and right, positively or negatively *)
val compare : t -> t -> int
(** Comparison of formulae *)