(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-02-07 10:03:26 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-02-08 18:36:33 CET by Kim Nguyen>
*)
module type PREDICATE =
(** Equality over formulae *)
val expr : t -> (t,P.t) expr
- (** Equality over formulae *)
+ (** Return a view of the formulae *)
val compare : t -> t -> int
(** Comparison of formulae *)