From a4deb44d10169e369dcf6f9af1518ad98d0f9390 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Wed, 19 Feb 2020 23:12:18 +0100
Subject: [PATCH] utils: Add contracts to the functions.

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

diff --git a/utils.rkt b/utils.rkt
index b10f477..800f235 100644
--- a/utils.rkt
+++ b/utils.rkt
@@ -7,8 +7,10 @@
 (require (for-syntax syntax/parse)
          (for-syntax racket/list))
 
-(provide auto-hash-ref/explicit auto-hash-ref/: eval-with eval-with1
-         extract-symbols)
+(provide auto-hash-ref/explicit auto-hash-ref/:)
+(provide (contract-out [eval-with (-> hash? any/c any)]
+                       [eval-with1 (-> hash? any/c any/c)]
+                       [extract-symbols (-> any/c list?)]))
 
 ;;; ===================
 ;;; HashTable Injection