diff --git a/collects/typed-scheme/private/typechecker.ss b/collects/typed-scheme/private/typechecker.ss
index 0656c6e0d6..d0821095b0 100644
--- a/collects/typed-scheme/private/typechecker.ss
+++ b/collects/typed-scheme/private/typechecker.ss
@@ -8,7 +8,7 @@
          "tc-let-unit.ss"
          "tc-expr-unit.ss" "check-subforms-unit.ss")
 
-(provide-signature-elements typechecker^)
+(provide-signature-elements typechecker^ tc-expr^)
 
 (define-values/link-units/infer
   tc-toplevel@ tc-if@ tc-lambda@ tc-app@ tc-let@ tc-expr@ check-subforms@)