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