class type object_base =This is the full class type of objects. It is a subtype ofobject..end
Hydro_types.object_value with respect to the value
characteristics, and a subtype of
Hydro_types.operation_dispatcher with respect
to the operational characteristics.method hydro_inflate : string -> Hydro_types.noreturnmethod hydro_invoke_operation : string -> Hydro_types.value array -> Hydro_types.session -> unit
