Regenerate ulib hints

FStarLang · Jan 6, 2025 · 4b68936 · 4b68936
1 parent aa0d1e3
commit 4b68936
Show file tree

Hide file tree

Showing 309 changed files with 14,834 additions and 15,105 deletions.
diff --git a/ulib/.hints/FStar.Algebra.CommMonoid.Equiv.fst.hints b/ulib/.hints/FStar.Algebra.CommMonoid.Equiv.fst.hints
diff --git a/ulib/.hints/FStar.Algebra.CommMonoid.Fold.Nested.fst.hints b/ulib/.hints/FStar.Algebra.CommMonoid.Fold.Nested.fst.hints
diff --git a/ulib/.hints/FStar.Algebra.CommMonoid.Fold.fst.hints b/ulib/.hints/FStar.Algebra.CommMonoid.Fold.fst.hints
diff --git a/ulib/.hints/FStar.Algebra.CommMonoid.Fold.fsti.hints b/ulib/.hints/FStar.Algebra.CommMonoid.Fold.fsti.hints
diff --git a/ulib/.hints/FStar.Algebra.CommMonoid.fst.hints b/ulib/.hints/FStar.Algebra.CommMonoid.fst.hints