[Redex] Variable names must be different

[Beatriz Moreira]

Hello,

When defining a language, is it possible to define that all instances of a pattern have to be different ? For example, I have f ::= variable-not-otherwise-mentioned, which represents a function name. How do I guarantee all fs are different?

Thank you!

--Beatriz