diff --git a/networks.rkt b/networks.rkt
index 8b53457..cdace2e 100644
--- 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)