Hi ! What would be the SSR way to do case_eq (my_complex_expression)
?
I think you want case hypname: (my_complex_expression)
generally
In the simplest form that's correct. For more, have a look at equation generation in the manual.
You may want to case hyp : expr => [vars|vars|vars]
so that you introduce the variables from the constructors and then the equation.
If you don't give the => ...
part, then dummy names are used (since you need to introduce these in order to name hyp
).
Ok, I'm getting Anomaly "Evar ?X357 was not declared."
. I'll try to make a minimal repro see what's happening. Thanks !
Vincent Siles has marked this topic as resolved.
Last updated: Oct 13 2024 at 01:02 UTC