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

Only require rackunit in the test submodule.

This commit is contained in:
Sergiu Ivanov 2022-03-05 21:33:04 +01:00
parent fa940eb0d3
commit 3e16dbe3c8
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
utils.rkt
View File

@ -1,6 +1,6 @@
#lang typed/racket
(require typed/graph typed/rackunit typed-compose typed/racket/stream
(require typed/graph typed-compose typed/racket/stream
(for-syntax syntax/parse racket/list))
(provide
@ -19,6 +19,9 @@
variable-mapping?)
(module+ test
(require typed/rackunit))
(define-type Variable Symbol)
(define-type (VariableMapping A) (Immutable-HashTable Variable A))