Documentation

Lean.Compiler.LCNF.EmitC

source
def Lean.Compiler.LCNF.emitCForDecls (modName : Name) (decls : Array Name) :
CoreM String
Instances For
    source
    def Lean.Compiler.LCNF.emitC (modName : Name) :
    CoreM String
    Instances For