object
  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