Class type Hydro_lm.object_base

class type object_base = object .. end

This is the full class type of objects. It is a subtype of Hydro_types.object_value with respect to the value characteristics, and a subtype of Hydro_types.operation_dispatcher with respect to the operational characteristics.
Inherits

• Hydro_lm.sliced_base

---

method hydro_inflate : string -> Hydro_types.noreturn

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

This web site is published by Informatikbüro Gerd Stolpmann