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

networks: Remove network/c.

Browse source 
I've never used it.
This commit is contained in:
Sergiu Ivanov 2020-03-21 19:18:45 +01:00
parent 8505d2d590
commit 9682049df5
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
networks.rkt
View file

@ -78,7 +78,6 @@
[mode? (-> any/c boolean?)])
;; Contracts
(contract-out [state/c contract?]
[network/c contract?]
[update-function/c contract?]
[domain-mapping/c contract?])
;; Syntax
@ -102,7 +101,6 @@
;;; A network is a mapping from its variables to its update functions.
(define network? variable-mapping?)
(define network/c (flat-named-contract 'network network?))
;;; Given a state s updates all the variables from xs. This
;;; corresponds to a parallel mode.