readxml

Index.readxml(self: pyarts.arts.Index, file: str) None

Read Index from file

Parameters:

file (str) – A file that can be read

On Error:

Throws RuntimeError for any failure to read