(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-02-08 18:36:33 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-04 22:47:09 CET by Kim Nguyen>
*)
module type PREDICATE =
val eval : ctx -> t -> bool
val neg : t -> t
include Utils.Hcons.Abstract with type t := t
- include Utils.Sigs.AUX.Printable with type t := t
+ include Utils.Common_sig.Printable with type t := t
end
type ('formula,'pred) expr =