chore: update comments in kernel/declaration.h This file has comments that recall the data type definitions in Lean. Most of them were still using lean3 syntax, and at least one of them was out of date (one field missing), so I updated them. I took the liberty to shorten the comments from the original file, or omit them if they don’t add much over the field names.
This is the repository for Lean 4.
See Setting Up Lean.
Please read our Contribution Guidelines first.
See Building Lean (documentation source: doc/make/index.md).