type query
include sig ... end
val query_of_sexp : Base.Sexp.t ‑> query
type response
val sexp_of_response : response ‑> Base.Sexp.t
type state
val rpc : (query, response) Async.Rpc.Rpc.t
val implementation : state ‑> query ‑> response Async.Deferred.t