Plasma GitLab Archive
Projects Blog Knowledge

object
  method facets : unit ref
  method hydro_effective_id : string
  method hydro_inflate : string -> Hydro_types.noreturn
  method hydro_invoke_operation :
    string -> Hydro_types.value array -> Hydro_types.session -> unit
  method hydro_slices : Hydro_types.slice list
  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 ice_ping :
    unit ->
    (rr_Ice_Object_ice_ping -> unit) ->
    (uncallable -> unit) -> Hydro_types.session -> unit
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml