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
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: Feb 08 2023 at 08:02 UTC