feat: respect lean --setup module name in code generation
#14017
| Job | Run time |
|---|---|
| 38s | |
| 38s |
lean --setup module name in code generation
#14017
| Job | Run time |
|---|---|
| 38s | |
| 38s |