I've also run into this issue a while ago. I haven't found anything in a standard library, but I did find a function similar to yours in UPO so I copied it. Would it be worth adding to Top? Or maybe support for IN could be added to the compiler?
_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur