convert

pyarts.workspace.global_data.convert(group, value)[source]

Converts a value into something that can be turned into an Arts group

This is intended to be used purely by a function parsing old controlfiles