A dictionary to convert from internal names to human readable names, used in the manuscript.
update_naming.Rd
A dictionary to convert from internal names to human readable names, used in the manuscript.
update_naming.Rd
A dictionary to convert from internal names to human readable names, used in the manuscript.