17856-master+more-general-form-binders-recursive-notation.rst

• Added: Parsing support for notations with recursive binders involving not only variables bound by :n:`fun` or :n:`forall` but also by :n:`let` or :n:`match` (#17856, fixes #17845, by Hugo Herbelin).