snap, again

FStarLang · Aug 23, 2024 · 58bf02d · 58bf02d
1 parent 3c7fb72
commit 58bf02d
Show file tree

Hide file tree

Showing 20 changed files with 368 additions and 437 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_Class_Add.ml b/ocaml/fstar-lib/generated/FStar_Class_Add.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Class_Binders.ml b/ocaml/fstar-lib/generated/FStar_Class_Binders.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Class_Deq.ml b/ocaml/fstar-lib/generated/FStar_Class_Deq.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Class_Embeddable.ml b/ocaml/fstar-lib/generated/FStar_Class_Embeddable.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Class_Eq.ml b/ocaml/fstar-lib/generated/FStar_Class_Eq.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Class_Eq_Raw.ml b/ocaml/fstar-lib/generated/FStar_Class_Eq_Raw.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Class_HasRange.ml b/ocaml/fstar-lib/generated/FStar_Class_HasRange.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Class_Hashable.ml b/ocaml/fstar-lib/generated/FStar_Class_Hashable.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Class_Monad.ml b/ocaml/fstar-lib/generated/FStar_Class_Monad.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Class_Monoid.ml b/ocaml/fstar-lib/generated/FStar_Class_Monoid.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Class_Ord.ml b/ocaml/fstar-lib/generated/FStar_Class_Ord.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Class_PP.ml b/ocaml/fstar-lib/generated/FStar_Class_PP.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Class_Printable.ml b/ocaml/fstar-lib/generated/FStar_Class_Printable.ml