ProgramName

ProgramName :: # (opaque)

The command name of a fetched program or of a tool the machine is expected to have, checked at compile time: a file name on PATH.