S.Value
module Reader : Resp.READER with type ic = ic
module Writer : Resp.WRITER with type oc = oc
val write : Writer.oc -> Resp.t -> unit Lwt.t
val read : Reader.ic -> Resp.t Lwt.t