object
  method next_credentials : Rpc_client.t -> string * string * string * string
  method server_accepts : string -> string -> unit
  method server_rejects : Rpc.server_error -> unit
end