(* *)
(***********************************************************************)
-(*
- Time-stamp: <Last modified on 2013-03-04 23:01:55 CET by Kim Nguyen>
-*)
-
(** Type equipped with an equality and hash function.
If [equal a b] then [(hash a) = (hash b)]
*)