Documentation

Lean.Compiler.Main

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

Equations
Instances For