Functor Uid.Make


module Make: 
functor (T : Print.PRINTABLE_TYPE) -> sig .. end
Functor embedding a given printable type with unique identifiers.
Parameters:
T : Print.PRINTABLE_TYPE

include Print.PRINTABLE_TYPE
val create : T.t -> t
val value : t -> T.t
val id : t -> int
val compare : t -> t -> int
val equal : t -> t -> bool
val hash : t -> int
val lift_una_op : (T.t -> T.t) -> t -> t
val lift_bin_op : (T.t -> T.t -> T.t) -> t -> t -> t
val lift_una_fun : (T.t -> 'a) -> t -> 'a
val lift_bin_fun : (T.t -> T.t -> 'a) -> t -> t -> 'a