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