(* *)
(***********************************************************************)
-(*
- Time-stamp: <Last modified on 2013-03-04 22:36:31 CET by Kim Nguyen>
-*)
-
(** Abstract signature of a module implementing an hashconsed datatype *)
module type Abstract =
sig