Pulse: allow fn type syntax in all type positions#4140
Closed
mtzguido wants to merge 1 commit intoFStarLang:fstar2from
Closed
Pulse: allow fn type syntax in all type positions#4140mtzguido wants to merge 1 commit intoFStarLang:fstar2from
mtzguido wants to merge 1 commit intoFStarLang:fstar2from
