(* *)
(***********************************************************************)
-(*
- Time-stamp: <Last modified on 2013-03-10 23:02:12 CET by Kim Nguyen>
-*)
-
(** Implementation of qualified names as hashconsed strings *)
include Hcons.S with type data = string