(**************************************************************)
  UNIQUE.MLI
  Author :   , 8/96
(**************************************************************)
open Trans

(* Id generator.
 *)
type t

(* Unique identifiers.
 *)
type id

(* Constructors.
 *)
val create : Hsys.inet -> incarn -> t
val id : t -> id

(* Display functions.
 *)
val string_of_id : id -> string
val string_of_id_short : id -> string
val string_of_id_very_short : id -> string

(* Hash an id.
 *)
val hash_of_id : id -> int

(**************************************************************)
val set_port : t -> port -> unit
(**************************************************************)

************************************************************
************************************************************
 Id generator.
 
 Unique identifiers.
 
 Constructors.
 
 Display functions.
 
 Hash an id.
 
************************************************************
************************************************************
  UNIQUE.MLI
  Author :   , 8/96
open Trans

type t

type id

val create : Hsys.inet -> incarn -> t
val id : t -> id

val string_of_id : id -> string
val string_of_id_short : id -> string
val string_of_id_very_short : id -> string

val hash_of_id : id -> int

val set_port : t -> port -> unit
