From 6001762cb81c309bdc2396ed7b0113697857a550 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Thu, 20 Feb 2020 14:19:30 +0100
Subject: [PATCH] utils: Restructure the exports.

---
 utils.rkt | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/utils.rkt b/utils.rkt
index 7e0259e..8001dcc 100644
--- a/utils.rkt
+++ b/utils.rkt
@@ -8,11 +8,13 @@
          (for-syntax racket/list))
 
 (provide
- ;; Functions with contracts
+ ;; Functions
  (contract-out [eval-with (-> variable-mapping? any/c any)]
-               [extract-symbols (-> any/c list?)])
- ;; Functions without contracts
- variable-mapping? hash-pred
+               [extract-symbols (-> any/c list?)]
+               [variable-mapping? (-> any/c boolean?)]
+               [hash-pred (->* (hash?)
+                               (#:key-pred any/c #:val-pred any/c)
+                               boolean?)])
  ;; Syntax
  auto-hash-ref/explicit auto-hash-ref/:)