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

utils-untyped: Don't export dotit any more.

Browse Source
This commit is contained in:
Sergiu Ivanov 2020-12-22 22:47:50 +01:00
parent 625ef055a6
commit 50f5e6e3c1
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
utils-untyped.rkt
View File

@ -10,8 +10,7 @@
(provide (provide
;; Functions ;; Functions
(contract-out [dotit (-> graph? void?)] (contract-out [read-symbol-list (-> string? (listof symbol?))]
[read-symbol-list (-> string? (listof symbol?))]
[drop-first-last (-> string? string?)] [drop-first-last (-> string? string?)]
[list-sets->list-strings (-> (listof (set/c any/c)) (listof string?))] [list-sets->list-strings (-> (listof (set/c any/c)) (listof string?))]
[pretty-print-set-sets (-> (set/c (set/c symbol?) #:kind 'dont-care) string?)] [pretty-print-set-sets (-> (set/c (set/c symbol?) #:kind 'dont-care) string?)]