async_rpc_kernel

Platform-independent core of Async RPC library
IN THIS PACKAGE

caller_model_of_update should never raise exceptions. If it does, dispatch_multi is going to raise, which is not supposed to happen.

include Version_shared
val version : int
type query
val bin_shape_query : Core_kernel.Bin_prot.Shape.t
val __bin_read_query__ : ( int -> query ) Core_kernel.Bin_prot.Read.reader
type state
val bin_shape_state : Core_kernel.Bin_prot.Shape.t
val __bin_read_state__ : ( int -> state ) Core_kernel.Bin_prot.Read.reader
type update
val bin_shape_update : Core_kernel.Bin_prot.Shape.t
val __bin_read_update__ : ( int -> update ) Core_kernel.Bin_prot.Read.reader
type error
val bin_shape_error : Core_kernel.Bin_prot.Shape.t
val __bin_read_error__ : ( int -> error ) Core_kernel.Bin_prot.Read.reader
val query_of_caller_model : Model.Caller.query -> query
val callee_model_of_query : query -> Model.Callee.query
val caller_model_of_state : state -> Model.Caller.state
val state_of_callee_model : Model.Callee.state -> state
val caller_model_of_error : error -> Model.Caller.error
val error_of_callee_model : Model.Callee.error -> error
val client_pushes_back : bool

caller_model_of_update should never raise exceptions. If it does, dispatch_multi is going to raise, which is not supposed to happen.