sig
  type 'a t
  val of_uuid : '-> 'Id.t
  val digest : '-> string -> 'Id.t
  val compare : 'Id.t -> 'Id.t -> int
  val equal : 'Id.t -> 'Id.t -> bool
  val pp : 'Id.t Fmt.t
  val json : 'Id.t Jsont.codec
  val of_string : '-> string -> 'Id.t
  val to_string : 'Id.t -> string
end