sig
  type t = unit_name
  val compare : t -> t -> int
  val scribe : 'Conduit.conduit -> '-> t -> unit
  val io : t Io.literate
end