Merge pull request #3124 from mtzguido/misc

More typeclasses, some cleanup
FStarLang · Dec 1, 2023 · cfb3d54 · cfb3d54
2 parents 6cd0c84 + e785f7e
commit cfb3d54
Show file tree

Hide file tree

Showing 29 changed files with 953 additions and 562 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_Class_Show.ml b/ocaml/fstar-lib/generated/FStar_Class_Show.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Syntax_Embeddings.ml b/ocaml/fstar-lib/generated/FStar_Syntax_Embeddings.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Syntax_Embeddings_Base.ml b/ocaml/fstar-lib/generated/FStar_Syntax_Embeddings_Base.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Syntax_Print.ml b/ocaml/fstar-lib/generated/FStar_Syntax_Print.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Syntax_Print_Pretty.ml b/ocaml/fstar-lib/generated/FStar_Syntax_Print_Pretty.ml