Class type Hydro_lm_IceObject.oi_Ice_Object

class type oi_Ice_Object = object .. end

method ice_ping : unit ->
       (rr_Ice_Object_ice_ping -> unit) ->
       (uncallable -> unit) -> Hydro_types.session -> unit

method ice_id : unit ->
       (rr_Ice_Object_ice_id -> unit) ->
       (uncallable -> unit) -> Hydro_types.session -> unit

method ice_ids : unit ->
       (rr_Ice_Object_ice_ids -> unit) ->
       (uncallable -> unit) -> Hydro_types.session -> unit

method ice_isA : string ->
       (rr_Ice_Object_ice_isA -> unit) ->
       (uncallable -> unit) -> Hydro_types.session -> unit

method hydro_invoke_operation : string -> Hydro_types.value array -> Hydro_types.session -> unit

method hydro_effective_id : string