object
  method hydro_effective_id : string
  method hydro_inflate : string -> Hydro_types.noreturn
  method hydro_invoke_operation :
    string -> Hydro_types.value array -> Hydro_types.session -> unit
  method hydro_slices : Hydro_types.slice list
end