Functor Uid.Make
module Make:Functor embedding a given printable type with unique identifiers.
| Parameters: | 
  | 
include Print.PRINTABLE_TYPE
val create : T.t -> tval value : t -> T.tval id : t -> intval compare : t -> t -> intval equal : t -> t -> boolval hash : t -> intval lift_una_op : (T.t -> T.t) -> t -> tval lift_bin_op : (T.t -> T.t -> T.t) -> t -> t -> tval lift_una_fun : (T.t -> 'a) -> t -> 'aval lift_bin_fun : (T.t -> T.t -> 'a) -> t -> t -> 'a