Tidying up a bit of FStar.All and FStar.Compiler.Effect#3551

Merged

mtzguido merged 3 commits intoFStarLang:masterfrom mtzguido:tidy_fstar_all

Oct 10, 2024

+15-25

Commits on Oct 10, 2024

Make FStar.All an interface, now does not extract by default
mtzguido
committed
FStar.Compiler.Effect: make it an interface too
mtzguido
committed
FStar_All.ml, FStar_Compiler_Effect.ml: Remove some footguns and unused code
mtzguido
committed