From 19da8982445dcc1eb196c93d4b4ec1b0ba4b04b1 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Sat, 24 Mar 2012 16:12:33 -0400
Subject: [PATCH] Convenience reexports of unify.rkt constructs

---
 os2.rkt | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/os2.rkt b/os2.rkt
index 7ccc687..6d17786 100644
--- a/os2.rkt
+++ b/os2.rkt
@@ -31,7 +31,12 @@
 	 (except-out (struct-out 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.
 ;; Flows (in canonical form) are the units of presence.