@boubalou Go to where the symbol gets defined. Hover over the special "defmacro" and choose "resolve like def"

Hmmm, looks like what I need, but I cannot figure out how to do this. haha.

@boubalou Yes. Place the caret on the defvalidator, and then press Alt-Enter when you get the lightbulb.

@boubalou See https://cursive-ide.com/userguide/macros.html

Gracias @cfleming ! The only problem I see is that there is no popup that comes up with alt-enter as proposed. I don’t get it because I know that I already used this, similar to Java when you want to auto-import or the like.