FStar.AllTuples: add a way to include all tuples

FStarLang · Feb 7, 2024 · da91903 · da91903
1 parent 729caed
commit da91903
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/ulib/FStar.AllTuples.fsti b/ulib/FStar.AllTuples.fsti
@@ -0,0 +1,18 @@
+module FStar.AllTuples
+
+include FStar.Tuple3
+include FStar.Tuple4
+include FStar.Tuple5
+include FStar.Tuple6
+include FStar.Tuple7
+include FStar.Tuple8
+include FStar.Tuple9
+include FStar.Tuple10
+include FStar.Tuple11
+include FStar.Tuple12
+include FStar.Tuple13
+include FStar.Tuple14
+
+include FStar.DTuple3
+include FStar.DTuple4
+include FStar.DTuple5