networks: Say contracts are contract?.

2020-02-22 10:37:37 +01:00 · 2020-02-22 10:37:37 +01:00 · 8dfa11b17c
parent 5ee517ec2d
commit 8dfa11b17c
1 changed files with 3 additions and 1 deletions
--- a/networks.rkt
+++ b/networks.rkt
@ -29,7 +29,9 @@
               [update-function-form? (-> any/c boolean?)]
               [network-form? (-> any/c boolean?)])
 ;; Contracts
- state/c network/c update-function/c
+ (contract-out [state/c contract?]
+               [network/c contract?]
+               [update-function/c contract?])
 ;; Syntax
 st nn)