From eda70bdaf9ce9bb5593336b968111e9fe3959e01 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Wed, 6 Aug 2008 20:48:02 +0000
Subject: [PATCH] Provide some names

svn: r11114

original commit: 24a98cf0618fc3b0593c4a355f6355064a30d404
---
 collects/typed-scheme/typed-scheme.ss | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/collects/typed-scheme/typed-scheme.ss b/collects/typed-scheme/typed-scheme.ss
index 522f11fc..19c9c9cb 100644
--- a/collects/typed-scheme/typed-scheme.ss
+++ b/collects/typed-scheme/typed-scheme.ss
@@ -23,6 +23,9 @@
 
 (provide-tnames)
 (provide-extra-tnames)
+(require-extra-tnames "private/base-types.ss")
+(provide (rename-out [All ∀]
+                     [mu Rec]))
 
 
 (provide (rename-out [module-begin #%module-begin]