require/typed

require-typed.rkt

#lang typed/racket
(require/typed typed/racket
               [integer-sqrt/remainder (Natural Natural -> Natural)])
integer-sqrt/remainder

----

racket-math/racket/collects/racket/contract/private/blame.rkt:89:0: integer-sqrt/remainder: broke its contract
  promised a procedure that accepts 2 mandatory arguments without any keywords, produced: #<procedure:integer-sqrt/remainder>
  in: (recursive-contract
       (->
        (flat-named-contract
         'Natural
         (and/c
          exact-integer?
          (lambda (x) (>= x 0))))
        (flat-named-contract
         'Natural
         (and/c
          exact-integer?
          (lambda (x) (>= x 0))))
        (flat-named-contract
         'Natural
         (and/c
          exact-integer?
          (lambda (x) (>= x 0)))))
       #:impersonator)
  contract from: 
      (interface for integer-sqrt/remainder)
  blaming: 
      (interface for integer-sqrt/remainder)
  at: unsaved-editor357899:3.16
>