require-typed.rkt

; (begin
    (define-values (lifted.2) '#f)
    (begin
      (begin
        (define-values
         ()
         (begin
           (quote-syntax
            (require/typed-internal values9 (-> String String))
            #:local)
           (#%plain-app values)))
        (begin
          (#%require
           (just-meta 0 (rename racket/base values values))
           (only racket/base))
          (define-syntaxes
           (values)
           (#%app
            make-rename-transformer
            (#%app
             syntax-property
             (#%app
              syntax-property
              (quote-syntax values9)
              'not-free-identifier=?
              '#t)
             'not-provide-all-defined
             '#t)))
          (begin
            (define-values
             (lifted.3)
             (#%app
              module-name-fixup
              (#%app
               variable-reference->module-source/submod
               (#%variable-reference))
              (#%app list)))
            (define-values
             (values9)
             (#%app
              apply-contract
              lifted.2
              values1
              '(interface for values)
              lifted.3
              'values
              (#%app
               kernel:srcloc
               (#%app source-location-source (quote-syntax here))
               '2
               '36
               '93
               '6))))))))