| File doc/godi-hydro/html/Hydro_endpoint.GeneralizedEndpoint.html |
GODI Package
godi-hydro |
| |
Hydro_endpoint.GeneralizedEndpoint.html |
|
Sources |
|
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 [ `ClientRole | `ServerRole ]
