Add an explicit block statement#134

Draft

JonasAlaif wants to merge 2 commits intoFStarLang:mainfrom

JonasAlaif:block-stmt

Commits on Jul 3, 2024

Partially add block
Jonas Fiala
committed
Merge branch 'main' into block-stmt
JonasAlaif
authored