From b68092d05820da6d7f157ffae9c6478fb6cefeed Mon Sep 17 00:00:00 2001
From: Joeri Exelmans <joeri.exelmans@gmail.com>
Date: Sat, 10 May 2025 12:08:43 +0200
Subject: [PATCH] create index.js

---
 benchmarks/rbtree_bench.js     |  2 +-
 index.js                       | 54 ++++++++++++++++++++++++++++++++++
 lib/structures/struct.types.js |  2 +-
 lib/versioning/value.js        |  1 -
 4 files changed, 56 insertions(+), 3 deletions(-)
 create mode 100644 index.js

diff --git a/benchmarks/rbtree_bench.js b/benchmarks/rbtree_bench.js
index 5c846d4..4a9ead7 100644
--- a/benchmarks/rbtree_bench.js
+++ b/benchmarks/rbtree_bench.js
@@ -129,4 +129,4 @@ for (const [N, ...rest] of results) {
 }
 console.log();
 console.log("now go and paste the above CSV in this spreadsheet:");
-console.log("  https://docs.google.com/spreadsheets/d/1WAl5yCZ0UA0XCBn4xphz4foynQpXih4e59kvkbUANRA/edit?usp=sharing");
\ No newline at end of file
+console.log("  https://docs.google.com/spreadsheets/d/1WAl5yCZ0UA0XCBn4xphz4foynQpXih4e59kvkbUANRA/edit?usp=sharing");
diff --git a/index.js b/index.js
new file mode 100644
index 0000000..e3a0447
--- /dev/null
+++ b/index.js
@@ -0,0 +1,54 @@
+// to regenerate:
+//   find lib -name "*.js"  -print
+
+export * from "./lib/structures/dict.types.js";
+export * from "./lib/structures/sum.js";
+export * from "./lib/structures/set.js";
+export * from "./lib/structures/struct.types.js";
+export * from "./lib/structures/list.js";
+export * from "./lib/structures/type_constructors.types.js";
+export * from "./lib/structures/enum.js";
+export * from "./lib/structures/product.types.js";
+export * from "./lib/structures/set.types.js";
+export * from "./lib/structures/sum.types.js";
+export * from "./lib/structures/list.types.js";
+export * from "./lib/structures/type_constructors.js";
+export * from "./lib/structures/struct.js";
+export * from "./lib/structures/enum.types.js";
+export * from "./lib/structures/product.js";
+export * from "./lib/structures/dict.js";
+export * from "./lib/parser/type_parser.js";
+export * from "./lib/generics/generics.js";
+export * from "./lib/stdlib.js";
+export * from "./lib/compare/type.js";
+export * from "./lib/compare/dynamic.js";
+export * from "./lib/compare/dynamic.types.js";
+export * from "./lib/compare/versioning.js";
+export * from "./lib/compare/type.types.js";
+export * from "./lib/compare/structures.js";
+export * from "./lib/compare/primitives.js";
+export * from "./lib/compare/structures.types.js";
+export * from "./lib/compare/primitives.types.js";
+export * from "./lib/primitives/type.js";
+export * from "./lib/primitives/symbol.js";
+export * from "./lib/primitives/dynamic.js";
+export * from "./lib/primitives/dynamic.types.js";
+export * from "./lib/primitives/primitive_types.types.js";
+export * from "./lib/primitives/int.js";
+export * from "./lib/primitives/int.types.js";
+export * from "./lib/primitives/symbol.types.js";
+export * from "./lib/primitives/type.types.js";
+export * from "./lib/primitives/unit.js";
+export * from "./lib/primitives/double.types.js";
+export * from "./lib/primitives/typevars.js";
+export * from "./lib/primitives/primitive_types.js";
+export * from "./lib/primitives/unit.types.js";
+export * from "./lib/primitives/double.js";
+export * from "./lib/util/random.js";
+export * from "./lib/util/trie.js";
+export * from "./lib/util/util.js";
+export * from "./lib/util/rbtree_wrapper.js";
+export * from "./lib/util/pretty.js";
+export * from "./lib/environment/env.js";
+export * from "./lib/meta/type_constructor.types.js";
+export * from "./lib/meta/type_constructor.js";
diff --git a/lib/structures/struct.types.js b/lib/structures/struct.types.js
index 726cad4..c7c445c 100644
--- a/lib/structures/struct.types.js
+++ b/lib/structures/struct.types.js
@@ -5,7 +5,7 @@ import { zip } from "../util/util.js";
 import { map } from "./list.js";
 import { getLeft, getRight } from "./product.js";
 import { makeConstructor, makeGetters } from "./struct.js";
-import { fnType, prodType } from "./type_constructors.js";
+import { fnType, prodType } from "./type_constructors.types.js";
 
 
 // 'fields' is an array of (name: string, type: Type) pairs.
diff --git a/lib/versioning/value.js b/lib/versioning/value.js
index 8974776..29304a5 100644
--- a/lib/versioning/value.js
+++ b/lib/versioning/value.js
@@ -1,4 +1,3 @@
-import { deepEqual } from "../util/util.js";
 import { inspect } from "node:util";
 
 // a -> Value<a>