Stream: Elpi users & devs

Topic: fix constructor argument


view this post on Zulip 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?

view this post on Zulip Enrico Tassi (Sep 26 2022 at 13:36):

Yes, the "number of the recursive argument".

view this post on Zulip Enrico Tassi (Sep 26 2022 at 13:36):

zero based, IIRC


Last updated: Feb 04 2023 at 02:03 UTC