@[inline, reducible]
A mapping from free variable id to binder name.
Instances For
def
Lean.Compiler.LCNF.Param.applyRenaming
(param : Lean.Compiler.LCNF.Param)
(r : Lean.Compiler.LCNF.Renaming)
:
Instances For
def
Lean.Compiler.LCNF.Decl.applyRenaming
(decl : Lean.Compiler.LCNF.Decl)
(r : Lean.Compiler.LCNF.Renaming)
: