Convenience reexports of unify.rkt constructs
This commit is contained in:
parent
bdaee80ce8
commit
19da898244
7
os2.rkt
7
os2.rkt
|
@ -31,7 +31,12 @@
|
||||||
(except-out (struct-out kill) kill)
|
(except-out (struct-out kill) kill)
|
||||||
(rename-out [make-kill kill])
|
(rename-out [make-kill kill])
|
||||||
|
|
||||||
(struct-out at-meta-level))
|
(struct-out at-meta-level)
|
||||||
|
|
||||||
|
;; Reexports from unify.rkt for convenience
|
||||||
|
wild
|
||||||
|
wild?
|
||||||
|
non-wild?)
|
||||||
|
|
||||||
;; Endpoints are the units of deduplication.
|
;; Endpoints are the units of deduplication.
|
||||||
;; Flows (in canonical form) are the units of presence.
|
;; Flows (in canonical form) are the units of presence.
|
||||||
|
|
Loading…
Reference in New Issue