(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-02-08 13:38:58 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-04 22:52:17 CET by Kim Nguyen>
*)
INCLUDE "utils.ml"
val eval : ctx -> t -> bool
val neg : t -> t
include Hcons.Abstract with type t := t
- include Sigs.AUX.Printable with type t := t
+ include Common_sig.Printable with type t := t
end
type ('formula,'pred) expr =
module rec Node : Hcons.S
with type data = Data.t = Hcons.Make (Data)
- and Data : Hashtbl.HashedType with type t = Node.t node =
+ and Data : Common_sig.HashedType with type t = Node.t node =
struct
type t = Node.t node
let equal x y =