To help with testing other things in the future

pavpanchekha · pavpanchekha · commit daf522b7fb31 · 2025-04-10T14:44:32.000-06:00
diff --git a/test.rkt b/test.rkt
@@ -21,6 +21,7 @@
 (require "main.rkt"
          "mpfr.rkt")
 (provide ival-valid?
+         ival-refines?
          function-table
          sample-interval
          slow-tests
