walker (Feb 09 2022 at 13:42): walker (Feb 09 2022 at 13:42):How can I use eqn: while destructing multiple elements.
I know that this works:
destruct l1, l2
and I know that this works as well:
destruct l1 eqn:E1
but I want something like:
destruct l1, l2 eqn: E1 E2
Ideas on how to do that?
Wolf Honore (Feb 09 2022 at 13:46):destruct l1 eqn:E1, l2 eqn:E2
destruct l1 eqn:E1, l2 eqn:E2 seems to work
walker (Feb 09 2022 at 13:48):yes it does! thanks a lot
Last updated: Oct 03 2023 at 04:02 UTC