Intern, as `DataInstForm`, the `kind` and `output_type` fields of `DataInstDef`.#28

Merged

eddyb merged 1 commit intomainfrom forms

Jun 7, 2023

+341-139

Commits on Jun 7, 2023

Intern, as DataInstForm, the kind and output_type fields of DataInstDef.
eddyb
committed