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