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 2020-12-06 23:40:17 +01:00
parent 03f51f188e
commit 36acbb508c
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

@ -47,11 +47,7 @@
[#:combine (-> any/c any/c any/c)
#:combine/key (-> any/c any/c any/c any/c)]
#:rest (listof hash?)
(and/c hash? immutable?))])
;; Contracts
(contract-out [variable-mapping? contract?]
[string-variable-mapping? contract?]
[general-pair/c (-> contract? contract? contract?)]))
(and/c hash? immutable?))]))
(module+ test
(require rackunit))