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