ARTS built-in documentation server
Workspace Method Delete
Deletes a workspace variable. The variable is marked as uninitialized and its memory freed. It is not removed from the workspace though, therefore you don't need to/can't call Create for this variable again.
Authors: Oliver Lemke
|GIN||v||(Any)||Variable to be deleted.|