- ref : Lean.Syntax
- attrs : Array Lean.Elab.Attribute
- shortDeclName : Lean.Name
- declName : Lean.Name
- binderIds : Array Lean.Syntax
- type : Lean.Expr
- mvar : Lean.Expr
- valStx : Lean.Syntax
- decls : Array Lean.Elab.Term.LetRecDeclView
- body : Lean.Syntax
Equations
- One or more equations did not get rendered due to their size.