fix(F*): always use `Type0`, never `Type`#666

Merged

karthikbhargavan merged 1 commit intomainfrom type0-instead-of-type

May 14, 2024

+38-34

Commits on May 14, 2024

fix(F*): always use Type0, never Type
W95Psp
committed