I recommend you define a metafunction or judgment form that captures what you want exactly and then use that.
Robby On Mon, Dec 21, 2020 at 8:32 AM Beatriz Moreira <beatriz.smore...@gmail.com> wrote: > 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 > <https://groups.google.com/d/msgid/racket-users/c8632f31-98c2-46cb-8231-2ca272ae2b8an%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAL3TdOMRF%2BkoLmEz3m1-u9VwmYAByRz0NBgtCbJ%3Dgb0TUpSisA%40mail.gmail.com.
