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

utils-untyped.rkt: Don't provide the contracts.

Browse Source
This commit is contained in:
Sergiu Ivanov 2021-05-20 11:09:51 +02:00
parent 7dd9c4cc47
commit 278ffa62db
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
utils-untyped.rkt
View File

@ -42,11 +42,7 @@
[boolean-power (-> number? (listof (listof boolean?)))] [boolean-power (-> number? (listof (listof boolean?)))]
[boolean-power/stream (-> number? (stream/c (listof boolean?)))] [boolean-power/stream (-> number? (stream/c (listof boolean?)))]
[any->01 (-> any/c (or/c 0 1))] [any->01 (-> any/c (or/c 0 1))]
[01->boolean (-> (or/c 0 1) boolean?)]) [01->boolean (-> (or/c 0 1) boolean?)]))
;; Contracts
(contract-out [variable-mapping? contract?]
[string-variable-mapping? contract?]
[general-pair/c (-> contract? contract? contract?)]))
(module+ test (module+ test
(require rackunit)) (require rackunit))