I noticed that, but I couldn't make sense of it immediately (and I was in a bit of a rush).  I'm not sure whether it will work for what I'm really trying to do (define a piecewise, primitive-recursive function), but I'll certainly look into it because it seems quite elegant.

Thanks for the recommendation.

I noticed that, but I couldn't make sense of it immediately (and I was in a bit of a rush).  I'm not sure whether it will work for what I'm really trying to do (define a piecewise, primitive-recursive function), but I'll certainly look into it because it seems quite elegant.

Thanks for the recommendation.