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

Remove variable-mapping?.

Browse source
This commit is contained in:
Sergiu Ivanov 2023-08-25 23:08:54 +02:00
parent 0e3cc3c9fd
commit 3ba0cca66d
1 changed files with 1 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
utils.rkt
View file

@ -18,9 +18,7 @@
collect-by-key/sets ht-values/list->set hash->list/ordered hash-replace-keys/ordered
multi-split-at lists-transpose append-lists in-random cartesian-product-2/stream
cartesian-product/stream boolean-power boolean-power/stream any->01
01->boolean
variable-mapping?)
01->boolean)
(module+ test
(require typed/rackunit))
@ -678,10 +676,3 @@
(test-case "01->boolean"
(check-equal? (01->boolean 0) #f)
(check-equal? (01->boolean 1) #t)))
;; TODO: Remove when the other modules are converted to Typed Racket
;; and these contracts are not needed any more.
(: variable-mapping? (-> Any Boolean : HashTableTop))
(define (variable-mapping? dict)
(hash? dict))