sig
  val proxy_resolver :
    ?domain_resolver:Hydro_proxy.domain_resolver ->
    Hydro_types.client_params ->
    Hydro_builtin.pr_Ice_Locator -> Hydro_proxy.proxy_resolver_t
  val get_Ice_Locator_of_port : string -> int -> Hydro_builtin.pr_Ice_Locator
end