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