Enzo Crance (Sep 26 2022 at 13:30): Enzo Crance (Sep 26 2022 at 13:30):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?
Enrico Tassi (Sep 26 2022 at 13:36):Yes, the "number of the recursive argument".
Enrico Tassi (Sep 26 2022 at 13:36):zero based, IIRC
Last updated: Apr 18 2024 at 17:02 UTC