type t_Ice_Identity =
  Hydro_builtin.t_Ice_Identity = {
  i_name : string;
  i_category : string;
}
and local_exception_name = Hydro_builtin.local_exception_name
and local_exception_ops =
    < exn_id : string; exn_name : local_exception_name >
and local_user_exception = < hydro_ops : local_exception_ops >
and exception_name =
    [ `Ice_AdapterNotFoundException | `Ice_ObjectNotFoundException ]
and exception_ops =
    < as_Ice_AdapterNotFoundException : t_Ice_AdapterNotFoundException;
      as_Ice_ObjectNotFoundException : t_Ice_ObjectNotFoundException;
      exn_id : string; exn_name : exception_name;
      is_Ice_AdapterNotFoundException : bool;
      is_Ice_ObjectNotFoundException : bool >
and t_Ice_ObjectNotFoundException = < hydro_ops : exception_ops >
and t_Ice_AdapterNotFoundException = < hydro_ops : exception_ops >
and user_exception = < hydro_ops : exception_ops >
and proxy_name = [ `Ice_Locator | `Ice_Object ]
and pr_Ice_Object = Hydro_lm_IceObject.pr_Ice_Object
and pr_Ice_Locator = [ `Ice_Locator | `Ice_Object ] Hydro_lm.proxy_reference
and or_Ice_Object = Hydro_lm_IceObject.or_Ice_Object
class type poi_Ice_Object = Hydro_lm_IceObject.poi_Ice_Object
class type po_Ice_Object = Hydro_lm_IceObject.po_Ice_Object
class type r_Ice_Locator__findObjectById =
  object
    method hydro_response : Hydro_lm.client_response
    method result : pr_Ice_Object option
  end
class type r_Ice_Locator__findAdapterById =
  object
    method hydro_response : Hydro_lm.client_response
    method result : pr_Ice_Object option
  end
class type poi_Ice_Locator =
  object
    method findAdapterById :
      string -> r_Ice_Locator__findAdapterById Hydro_lm.call_suspension_t
    method findObjectById :
      t_Ice_Identity ->
      r_Ice_Locator__findObjectById Hydro_lm.call_suspension_t
    method ice_id :
      unit ->
      Hydro_lm_IceObject.r_Ice_Object_ice_id Hydro_lm.call_suspension_t
    method ice_ids :
      unit ->
      Hydro_lm_IceObject.r_Ice_Object_ice_ids Hydro_lm.call_suspension_t
    method ice_isA :
      string ->
      Hydro_lm_IceObject.r_Ice_Object_ice_isA Hydro_lm.call_suspension_t
    method ice_ping :
      unit ->
      Hydro_lm_IceObject.r_Ice_Object_ice_ping Hydro_lm.call_suspension_t
  end
class type po_Ice_Locator =
  object
    method findAdapterById :
      string -> r_Ice_Locator__findAdapterById Hydro_lm.call_suspension_t
    method findObjectById :
      t_Ice_Identity ->
      r_Ice_Locator__findObjectById Hydro_lm.call_suspension_t
    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_proxy_reference : pr_Ice_Locator
    method hydro_reset : unit -> 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
    method ice_id :
      unit ->
      Hydro_lm_IceObject.r_Ice_Object_ice_id Hydro_lm.call_suspension_t
    method ice_ids :
      unit ->
      Hydro_lm_IceObject.r_Ice_Object_ice_ids Hydro_lm.call_suspension_t
    method ice_isA :
      string ->
      Hydro_lm_IceObject.r_Ice_Object_ice_isA Hydro_lm.call_suspension_t
    method ice_ping :
      unit ->
      Hydro_lm_IceObject.r_Ice_Object_ice_ping Hydro_lm.call_suspension_t
  end
class type od_Ice_Object = Hydro_lm_IceObject.od_Ice_Object
class type oi_Ice_Object = Hydro_lm_IceObject.oi_Ice_Object
class type o_Ice_Object = Hydro_lm_IceObject.o_Ice_Object
class type rr_Ice_Locator__findObjectById =
  object method result : pr_Ice_Object option end
class type rr_Ice_Locator__findAdapterById =
  object method result : pr_Ice_Object option end
class type oi_Ice_Locator =
  object
    method findAdapterById :
      string ->
      (rr_Ice_Locator__findAdapterById -> unit) ->
      (user_exception -> unit) -> Hydro_types.session -> unit
    method findObjectById :
      t_Ice_Identity ->
      (rr_Ice_Locator__findObjectById -> unit) ->
      (user_exception -> unit) -> Hydro_types.session -> unit
    method hydro_effective_id : string
    method hydro_invoke_operation :
      string -> Hydro_types.value array -> Hydro_types.session -> unit
    method ice_id :
      unit ->
      (Hydro_lm_IceObject.rr_Ice_Object_ice_id -> unit) ->
      (Hydro_lm_IceObject.uncallable -> unit) -> Hydro_types.session -> unit
    method ice_ids :
      unit ->
      (Hydro_lm_IceObject.rr_Ice_Object_ice_ids -> unit) ->
      (Hydro_lm_IceObject.uncallable -> unit) -> Hydro_types.session -> unit
    method ice_isA :
      string ->
      (Hydro_lm_IceObject.rr_Ice_Object_ice_isA -> unit) ->
      (Hydro_lm_IceObject.uncallable -> unit) -> Hydro_types.session -> unit
    method ice_ping :
      unit ->
      (Hydro_lm_IceObject.rr_Ice_Object_ice_ping -> unit) ->
      (Hydro_lm_IceObject.uncallable -> unit) -> Hydro_types.session -> unit
  end
class type od_Ice_LocalObject = Hydro_lm_IceLocalObject.od_Ice_LocalObject
class type oi_Ice_LocalObject = Hydro_lm_IceLocalObject.oi_Ice_LocalObject
class type o_Ice_LocalObject = Hydro_lm_IceLocalObject.o_Ice_LocalObject
exception Local_user_exception of local_user_exception
exception User_exception of user_exception
exception O_Ice_Object of o_Ice_Object
val to_Ice_Identity : Hydro_types.value -> t_Ice_Identity
val of_Ice_Identity : t_Ice_Identity -> Hydro_types.value
val x_Ice_ObjectNotFoundException : unit -> t_Ice_ObjectNotFoundException
val x_Ice_AdapterNotFoundException : unit -> t_Ice_AdapterNotFoundException
val decode_exception : Hydro_types.sliced_value -> user_exception
val encode_exception : user_exception -> Hydro_types.sliced_value
val ofpr_Ice_Object : pr_Ice_Object option -> Hydro_types.value
val topr_Ice_Object : Hydro_types.value -> pr_Ice_Object option
val pc_Ice_Object : Hydro_proxy.proxy_env_t -> pr_Ice_Object -> po_Ice_Object
val unchecked_pr_Ice_Object : 'a Hydro_lm.proxy_reference -> pr_Ice_Object
val ofpr_Ice_Locator : pr_Ice_Locator option -> Hydro_types.value
val topr_Ice_Locator : Hydro_types.value -> pr_Ice_Locator option
val to_r_Ice_Locator__findObjectById :
  Hydro_lm.client_response -> r_Ice_Locator__findObjectById
val to_r_Ice_Locator__findAdapterById :
  Hydro_lm.client_response -> r_Ice_Locator__findAdapterById
val pc_Ice_Locator :
  Hydro_proxy.proxy_env_t -> pr_Ice_Locator -> po_Ice_Locator
val unchecked_pr_Ice_Locator : 'a Hydro_lm.proxy_reference -> pr_Ice_Locator
val dispatch_Ice_Locator :
  oi_Ice_Locator ->
  string -> Hydro_types.value array -> Hydro_types.session -> unit
val parachute :
  (Hydro_types.session -> 'a) ->
  ('a -> unit) -> (user_exception -> unit) -> Hydro_types.session -> unit
class delegate_oi_Ice_Locator : #oi_Ice_Locator -> oi_Ice_Locator
class skel_Ice_Locator : oi_Ice_Locator
val fill_system : Hydro_types.system -> unit