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: Jun 06 2023 at 23:01 UTC