class type interface_base =This is the class type of object interfaces. It is a subtype ofobject..end
Hydro_lm.object_base and corresponds to
Hydro_types.operation_dispatcher.method hydro_effective_id : stringmethod hydro_invoke_operation : string -> Hydro_types.value array -> Hydro_types.session -> unit
