introduceNewName

fun A_Module.introduceNewName(trueName: A_Atom)

Introduce a new atom into this module.

Parameters

trueName

The atom to introduce.

Throws