Run the code generation pipeline for all declarations in declNames
that fulfill the requirements of shouldGenerateCode.
Lean.Compiler.Main
Run the code generation pipeline for all declarations in declNames
that fulfill the requirements of shouldGenerateCode.