def LentilLib.binderIdentToFunBinder (stx : Lean.TSyntax `Lean.binderIdent) : Lean.MacroM (Lean.TSyntax `Lean.Parser.Term.funBinder)

Convert a binderIdent into a function binder.

Equations

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