Provide require/typed/provide and require-typed-struct/provide from TR.

original commit: 593e4a4f1d4c8bd663d24d45d6c4190c1ce2c86a

collects/typed-racket/base-env/prims.rkt

@@ -150,6 +150,21 @@ This file defines two sorts of primitives. All of them are provided into any mod
                                   'typechecker:ignore #t)))))]))
   (values (r/t-maker #t) (r/t-maker #f))))
 
+(define-syntax-rule (require/typed/provide lib [nm t] ...)
+  (begin
+    (require/typed lib [nm t] ...)
+    (provide nm ...)))
+
+(define-syntax require-typed-struct/provide
+  (syntax-rules ()
+    [(_ (nm par) . rest)
+     (begin (require-typed-struct (nm par) . rest)
+            (provide (struct-out nm)))]
+    [(_ nm . rest)
+     (begin (require-typed-struct nm . rest)
+            (provide (struct-out nm)))]))
+
+
 (define-syntax (define-predicate stx)
   (syntax-parse stx
     [(_ name:id ty:expr)

collects/typed-racket/scribblings/reference/legacy.scrbl

@@ -14,6 +14,8 @@ compatibility.
 keyword with @racket[require/typed].}
 @defidform[require-typed-struct]{Similar to using the @racket[struct]
 keyword with @racket[require/typed].}
+@defidform[require-typed-struct/provide]{Similar to
+@racket[require-typed-struct], but also provides the imported identifiers.}
 @defidform[pdefine:]{Defines a polymorphic function.}
 @defform[(pred t)]{Equivalent to @racket[(Any -> Boolean : t)].}
 

collects/typed-racket/scribblings/reference/special-forms.scrbl

@@ -391,6 +391,10 @@ a @racket[require/typed] form. Here is an example of using
 @racket[file-or-directory-modify-seconds] has some arguments which are optional,
 so we need to use @racket[case->].}
 
+@defform[(require/typed/provide m rt-clause ...)]{
+Similar to @racket[require/typed], but also provides the imported identifiers.
+}
+
 @section{Other Forms}
 
 @defidform[with-handlers]{

collects/typed/private/utils.rkt

@@ -3,18 +3,4 @@
 (define-syntax-rule (dt nm t)
   (begin (define-type-alias nm t) (provide nm)))
 
-(define-syntax-rule (require/typed/provide lib [nm t] ...)
-  (begin
-    (require/typed lib [nm t] ...)
-    (provide nm ...)))
-
-(define-syntax require-typed-struct/provide
-  (syntax-rules ()
-    [(_ (nm par) . rest)
-     (begin (require-typed-struct (nm par) . rest)
-            (provide (struct-out nm)))]
-    [(_ nm . rest)
-     (begin (require-typed-struct nm . rest)
-            (provide (struct-out nm)))]))
-
-(provide dt require/typed/provide require-typed-struct/provide)
+(provide dt)