diff --git a/networks.rkt b/networks.rkt index 9b76583..f987e82 100644 --- a/networks.rkt +++ b/networks.rkt @@ -138,7 +138,6 @@ (contract-out [variable? (-> any/c boolean?)] [state? (-> any/c boolean?)] [update-function-form? (-> any/c boolean?)] - [network-form? (-> any/c boolean?)] [modality? (-> any/c boolean?)] [mode? (-> any/c boolean?)] [sbf/state? (-> any/c boolean?)])