No public description

PiperOrigin-RevId: 744088498
Change-Id: I0a37cdca37408be60ff80f32523fcd03ef99d334

google_threads/pool.h

diff --git a/google_threads/pool.h b/google_threads/pool.h
new file mode 100644
index 0000000..9491b5b
--- /dev/null
+++ b/google_threads/pool.h
@@ -0,0 +1,14 @@
+#ifndef THIRD_PARTY_EIGEN3_GOOGLE_THREADS_POOL_H_
+#define THIRD_PARTY_EIGEN3_GOOGLE_THREADS_POOL_H_
+
+#include "third_party/eigen3/Eigen/ThreadPool"
+#include "third_party/eigen3/google_threads/env.h"
+
+namespace Eigen {
+
+using GoogleThreadPool = ThreadPoolTempl<GoogleThreadEnvironment>;
+using GoogleFiberPool = ThreadPoolTempl<GoogleFiberEnvironment>;
+
+}  // namespace Eigen
+
+#endif  // THIRD_PARTY_EIGEN3_GOOGLE_THREADS_POOL_H_