Restorer (capnp-rpc-net.Capnp_rpc

module Id : sig ... end

type resolution

Internally, this is just ('a Capability.t, Capnp_rpc.Exception.t) result but the types work out better having it abstract.

val grant : 'a Capnp_rpc.Std.Capability.t -> resolution

grant x is Ok x.

val reject : Capnp_rpc.Exception.t -> resolution

reject x is Error x.

val unknown_service_id : resolution

unknown_service_id is a standard rejection message.

type t

A restorer looks up live capabilities from service IDs.

val none : t

none is a restorer that rejects everything.

val single : Id.t -> 'a Capnp_rpc.Std.Capability.t -> t

single id cap is a restorer that responds to id with cap and rejects everything else.

module type LOADER = sig ... end

module Table : sig ... end

val of_table : Table.t -> t

val restore : 
  t ->
  Id.t ->
  ('a Capnp_rpc.Std.Capability.t, Capnp_rpc.Exception.t) Stdlib.result

restore t id restores id using t. You don't normally need to call this directly, as the Vat will do it automatically.