Right, these are not well formalized, though for built-in modules you can get relevant names from module.__constants__ (this attribute was added to reference module’s scalars in JIT mode, but mostly reflects constructor arguments)