Parameter Expansions › Expansion of module-specification
Module-specification specifies that punched output will be directed to the named module in the dictionary. The named module must exist in the dictionary; the PUNCH function will not create a new module.
