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