Module Callee_converts.Rpc
module Simple : sig ... end
module type S = sig ... end
module Make : functor (Model : sig ... end) -> sig ... end
Given a model of the types involved in a family of RPCs, this functor provides a single multi-version implementation function
implement_multi
in terms of that model and a mechanism for registering the individual versions thatimplement_multi
knows about. Registration requires knowing how to get into and out of the model.