Web2c defines its format style using Pascal strings, so there are no separator characters between csnames. Is there a straightforward way of listing all csnames bound in a .fmt file?
In the Web2C implementation of TeX and friends, the programs come with an (apparently undocumented) option
Hence, for example:
is the list of all control sequences defined in