def Lean.Compiler.LCNF.emitCForDecls (modName : Name) (decls : Array Name) : CoreM String

Equations

• One or more equations did not get rendered due to their size.

def Lean.Compiler.LCNF.emitC (modName : Name) : CoreM String

Equations

• Lean.Compiler.LCNF.emitC modName = do let __do_lift ← Lean.Compiler.LCNF.getLocalImpureDecls Lean.Compiler.LCNF.emitCForDecls modName __do_lift