sig
  type t
  val create : unit -> Unique_id.Unit_ref.t
  val equal : Unique_id.Unit_ref.t -> Unique_id.Unit_ref.t -> bool
end