introduceNewName

Introduce a new atom into this module.

Parameters

trueName

The atom to introduce.

Throws

If the module is already closed.