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