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