Don't expose require-typed-signature

typed-racket-compatibility/typed/scheme/base.rkt

@@ -17,7 +17,8 @@
          (rename-in
            (except-in typed-racket/base-env/prims
              require-typed-struct
-             require/typed)
+             require/typed
+             require-typed-signature)
            (require-typed-struct-legacy require-typed-struct)
            (require/typed-legacy require/typed))
          typed-racket/base-env/base-types

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

@@ -181,11 +181,6 @@ keyword with @racket[require/typed].}
 keyword with @racket[require/typed].}
 @defidform[require-typed-struct/provide]{Similar to
 @racket[require-typed-struct], but also provides the imported identifiers.}
-@defform[
-(require-typed-signature sig-name (id ...) (type ...) module)]{
-Similar to using the @racket[#:signature] keyword with @racket[require/typed].
-Signature variables are matched with their types positionally, the two lists
-must have the same length.}
 @defidform[pdefine:]{Defines a polymorphic function.}
 @defform[(pred t)]{Equivalent to @racket[(Any -> Boolean : t)].}
 

typed-racket-lib/typed/racket/base.rkt

@@ -16,7 +16,8 @@
 (require typed-racket/base-env/extra-procs
          (except-in typed-racket/base-env/prims
            require-typed-struct-legacy
-           require/typed-legacy)
+           require/typed-legacy
+           require-typed-signature)
          typed-racket/base-env/base-types
          (except-in typed-racket/base-env/base-types-extra Distinction))
 (provide (rename-out [define-type-alias define-type])