type ('query, 'state, 'update, 'error) t = ('query, 'state, 'update, 'error) State_rpc.t
val create : ?client_pushes_back:unit -> name:string -> version:int -> bin_query:'query Bin_prot.Type_class.t -> bin_state:'state Bin_prot.Type_class.t -> bin_update:'update Bin_prot.Type_class.t -> bin_error:'error Bin_prot.Type_class.t -> unit -> ('query, 'state, 'update, 'error) t
val description : (_, _, _, _) t -> Description.t
val bin_query : ('query, _, _, _) t -> 'query Bin_prot.Type_class.t
val bin_state : (_, 'state, _, _) t -> 'state Bin_prot.Type_class.t
val bin_update : (_, _, 'update, _) t -> 'update Bin_prot.Type_class.t
val bin_error : (_, _, _, 'error) t -> 'error Bin_prot.Type_class.t