Plasma GitLab Archive
Projects Blog Knowledge

Module Hydro_endpoint.GeneralizedEndpoint


module GeneralizedEndpoint: sig .. end


A generalized view on endpoints, in particular to allow bidirectional endpoints that play both the client and server role
type +'a t 
An endpoint that can be enabled as client (and thus invoke remote functions), or as server (and thus provide functions for remote invocation), or as both. The argument says what is enabled.
type kind = [ `ClientRole | `ServerRole ] 
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml