Instances For
def
Lean.Compiler.LCNF.getDeclCore?
(env : Lean.Environment)
(ext : Lean.Compiler.LCNF.DeclExt)
(declName : Lake.Name)
:
Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
def
Lean.Compiler.LCNF.forEachDecl
(f : Lean.Compiler.LCNF.Decl → Lean.CoreM Unit)
(phase : optParam Lean.Compiler.LCNF.Phase Lean.Compiler.LCNF.Phase.base)
:
Instances For
def
Lean.Compiler.LCNF.forEachModuleDecl
(moduleName : Lake.Name)
(f : Lean.Compiler.LCNF.Decl → Lean.CoreM Unit)
(phase : optParam Lean.Compiler.LCNF.Phase Lean.Compiler.LCNF.Phase.base)
:
Instances For
def
Lean.Compiler.LCNF.forEachMainModuleDecl
(f : Lean.Compiler.LCNF.Decl → Lean.CoreM Unit)
(phase : optParam Lean.Compiler.LCNF.Phase Lean.Compiler.LCNF.Phase.base)
: