Hello. What is the purpose of the second argument to
fix in Elpi? The one right after the name. It's an integer and I have seen it called
Rno. Is it the index of the decreasing argument?
Yes, the "number of the recursive argument".
zero based, IIRC
Last updated: Feb 04 2023 at 02:03 UTC