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?

```
destruct l1 eqn:E1, l2 eqn:E2
```

`destruct l1 eqn:E1, l2 eqn:E2`

seems to work

yes it does! thanks a lot

Last updated: Jan 27 2023 at 02:04 UTC