From 3c640d2cab55f76dd21cb6354db759779cb23b5b Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Wed, 22 Jul 2020 23:45:13 +0200
Subject: [PATCH] networks: Export tbn?.

---
 networks.rkt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/networks.rkt b/networks.rkt
index 7310750..cdb99bf 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -87,7 +87,8 @@
  ;; Contracts
  (contract-out [state/c contract?]
                [update-function/c contract?]
-               [domain-mapping/c contract?]))
+               [domain-mapping/c contract?]
+               [tbn? contract?]))
 
 (module+ test
   (require rackunit))