Soundness exports

propensive · Aug 23, 2024 · 7c8fc67 · 7c8fc67
1 parent 66c61ef
commit 7c8fc67
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/src/core/soundness+cardinality-core.scala b/src/core/soundness+cardinality-core.scala
@@ -0,0 +1,3 @@
+package soundness
+
+export cardinality.{NumericRange, ~}
diff --git a/src/test/tests.scala → src/core/test/tests.scala b/src/test/tests.scala → src/core/test/tests.scala
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		package soundness

		export cardinality.{NumericRange, ~}