-
Iavor S. Diatchki authored
When we see a type operator in an import or an export, we tag it with the keyword 'type' so that it is not confused with value level operators with the same name.
00448643
When we see a type operator in an import or an export, we tag it with the keyword 'type' so that it is not confused with value level operators with the same name.