scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

networks: Don't re-export network-form?.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-11-22 22:05:41 +01:00
parent 0085eb964b
commit e4751c6ed2
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
networks.rkt
View file

@ -138,7 +138,6 @@
(contract-out [variable? (-> any/c boolean?)] (contract-out [variable? (-> any/c boolean?)]
[state? (-> any/c boolean?)] [state? (-> any/c boolean?)]
[update-function-form? (-> any/c boolean?)] [update-function-form? (-> any/c boolean?)]
[network-form? (-> any/c boolean?)]
[modality? (-> any/c boolean?)] [modality? (-> any/c boolean?)]
[mode? (-> any/c boolean?)] [mode? (-> any/c boolean?)]
[sbf/state? (-> any/c boolean?)]) [sbf/state? (-> any/c boolean?)])