Plasma GitLab Archive
Projects Blog Knowledge

object
  method hydro_env : Hydro_proxy.proxy_env_t
  method hydro_facet : string option
  method hydro_id : Hydro_types.identity
  method hydro_proxy_conf : Hydro_proxy.proxy_conf_t
  method hydro_reset : unit -> unit
  method hydro_set_monitor :
    (Hydro_proxy.proxy_t -> Hydro_proxy.managed_client_t -> bool) -> unit
  method hydro_set_proxy_conf : Hydro_proxy.proxy_conf_t -> unit
  method hydro_shutdown : unit -> unit
  method hydro_twoway_call :
    Hydro_types.hintf ->
    string ->
    Hydro_types.value array ->
    Hydro_types.call_params ->
    (Hydro_endpoint.Client.response -> unit) -> unit
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml