(************************************************************
 * WARNING!
 *
 * This file is generated by hydrogen from the source file
 * hydro_builtin.ice
 *
 ************************************************************)
type t_Ice_Identity =
  { i_name : string; i_category : string;  }
and local_exception_name
and local_exception_ops =
  < exn_name : local_exception_name; exn_id : string; >
and local_user_exception =
  < hydro_ops : local_exception_ops; >
and exception_name =
  [ | `Ice_AdapterNotFoundException | `Ice_ObjectNotFoundException  ]
and exception_ops =
  < exn_name : exception_name;
    exn_id : string;
    is_Ice_AdapterNotFoundException : bool;
    as_Ice_AdapterNotFoundException : t_Ice_AdapterNotFoundException;
    is_Ice_ObjectNotFoundException : bool;
    as_Ice_ObjectNotFoundException : t_Ice_ObjectNotFoundException;
  >
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
    inherit poi_Ice_Object
    method findObjectById : ( t_Ice_Identity ->
                              ( r_Ice_Locator__findObjectById )
                                Hydro_lm.call_suspension_t )
    method findAdapterById : ( string ->
                               ( r_Ice_Locator__findAdapterById )
                                 Hydro_lm.call_suspension_t )
  end
class type po_Ice_Locator =
  object
    inherit Hydro_proxy.proxy_t
    inherit poi_Ice_Locator
    method hydro_proxy_reference : pr_Ice_Locator
  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
    inherit oi_Ice_Object
    method findObjectById : ( t_Ice_Identity ->
                              ( ( rr_Ice_Locator__findObjectById -> unit ) ->
                                ( ( user_exception -> unit ) ->
                                  ( Hydro_types.session -> unit ) ) ) )
    method findAdapterById : ( string ->
                               ( ( rr_Ice_Locator__findAdapterById -> unit ) ->
                                 ( ( user_exception -> 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 :
  ( 't 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 :
  ( 't 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 -> 'r ) ->
    ( ( 'r -> 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