prelude: :gerbil/compiler/ssxi
package: std/net

(begin
  (declare-type std/net/socks#open-socks-client (@lambda 4 #f))
  (declare-type std/net/socks#open-socks4-client (@lambda 2 #f))
  (declare-type std/net/socks#open-socks5-client (@lambda 2 #f))
  (declare-type std/net/socks#socks5-open (@lambda 1 #f))
  (declare-type std/net/socks#socks5-connect (@lambda 2 #f))
  (declare-type std/net/socks#socks5-bind__% (@lambda 2 #f))
  (declare-type std/net/socks#socks5-bind__0 (@lambda 1 #f))
  (declare-type
   std/net/socks#socks5-bind
   (@case-lambda
    (1 std/net/socks#socks5-bind__0)
    (2 std/net/socks#socks5-bind__%)))
  (declare-type
   std/net/socks#socks5-accept
   (@lambda 1 std/net/socks#socks5-recv-reply))
  (declare-type std/net/socks#socks4-connect__% (@lambda 3 #f))
  (declare-type std/net/socks#socks4-connect__0 (@lambda 2 #f))
  (declare-type
   std/net/socks#socks4-connect
   (@case-lambda
    (2 std/net/socks#socks4-connect__0)
    (3 std/net/socks#socks4-connect__%)))
  (declare-type std/net/socks#socks4-bind__% (@lambda 3 #f))
  (declare-type std/net/socks#socks4-bind__0 (@lambda 1 #f))
  (declare-type std/net/socks#socks4-bind__1 (@lambda 2 #f))
  (declare-type
   std/net/socks#socks4-bind
   (@case-lambda
    (1 std/net/socks#socks4-bind__0)
    (2 std/net/socks#socks4-bind__1)
    (3 std/net/socks#socks4-bind__%)))
  (declare-type
   std/net/socks#socks4-accept
   (@lambda 1 std/net/socks#socks4-recv-reply))
  (declare-type std/net/socks#socks-connect (@lambda (4) #f))
  (declare-type std/net/socks#socks-bind (@lambda (4) #f))
  (declare-type std/net/socks#parse-address (@lambda 1 #f))
  (declare-type std/net/socks#socks5-send-request (@lambda 4 #f))
  (declare-type std/net/socks#socks5-recv-reply (@lambda 1 #f))
  (declare-type std/net/socks#socks4-send-request (@lambda 5 #f))
  (declare-type std/net/socks#socks4-recv-reply (@lambda 1 #f))
  (declare-type std/net/socks#send-msg (@lambda 2 #f))
  (declare-type std/net/socks#recv-msg (@lambda 2 #f)))
