Hi, I have been using side-condition to check if a sequence of variables exist is in an environment , like this :
*(side-condition (not (member (term ((s : _) ...)) (term (env-ß_1 ...)))))* being s a state variable and _ a value that i don't know. But it doesn't seem to work as expected, as it returns #t even when it shouldn't. Is it there a better way of doing it? Thank you :) -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/c8632f31-98c2-46cb-8231-2ca272ae2b8an%40googlegroups.com.