(* *)
(***********************************************************************)
+(*
+ Time-stamp: <Last modified on 2013-01-30 19:07:34 CET by Kim Nguyen>
+*)
+
(** Implementation of qualified names as hashconsed strings *)
include Sigs.HCONS.S with type data = string