chore: refactor Elab.StructInst to use mutual for its structures/inductives
#6841
| Job | Run time |
|---|---|
| 47s | |
| 47s |
mutual for its structures/inductives
#6841
| Job | Run time |
|---|---|
| 47s | |
| 47s |