networks: Export tbn?.

2020-07-22 23:45:13 +02:00 · 2020-07-22 23:45:13 +02:00 · 3c640d2cab
commit 3c640d2cab
parent 5c0bb0ddbb
1 changed files with 2 additions and 1 deletions
--- 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))