diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt index 6f9b4754..fcb090e3 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -1484,8 +1484,8 @@ ;;racket/udp [udp-open-socket (->opt [(-opt -String) (-opt -String)] -UDP-Socket)] -[udp-bind! (-> -UDP-Socket (-opt -String) -PosInt)] -[udp-connect! (-> -UDP-Socket (-opt -String) -PosInt)] +[udp-bind! (-> -UDP-Socket (-opt -String) -Nat -Void)] +[udp-connect! (-> -UDP-Socket (-opt -String) (-opt -Nat) -Void)] [udp-send-to (->opt -UDP-Socket -String -Nat -Bytes [-Nat -Nat] -Void)] [udp-send (->opt -UDP-Socket -Bytes [-Nat -Nat] -Void)]