diff --git a/ulib/FStar.AllTuples.fsti b/ulib/FStar.AllTuples.fsti
new file mode 100644
index 00000000000..e0db76a1f58
--- /dev/null
+++ 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