a bit of cleanup, adding some comments

FStarLang · Oct 3, 2024 · bca036a · bca036a
1 parent a56b285
commit bca036a
Show file tree

Hide file tree

Showing 4 changed files with 391 additions and 420 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_Extraction_ML_Code.ml b/ocaml/fstar-lib/generated/FStar_Extraction_ML_Code.ml