chore: refactor Elab.StructInst to use mutual
for its structure
s/inductive
s
#6174
This job was skipped
Loading
mutual
for its structure
s/inductive
s
#6174