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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/c8632f31-98c2-46cb-8231-2ca272ae2b8an%40googlegroups.com.
