prelude: :gerbil/compiler/ssxi
package: std/actor/rpc/proto

(begin
  (declare-type std/actor/rpc/proto/cipher#::DH::new (@lambda 0 #f))
  (declare-type
   std/actor/rpc/proto/cipher#rpc-cipher-proto-key-exchange
   (@lambda 2 #f))
  (declare-type
   std/actor/rpc/proto/cipher#rpc-cipher-proto-read-e
   (@lambda 1 #f))
  (declare-type
   std/actor/rpc/proto/cipher#rpc-cipher-proto-read
   (@lambda 7 #f))
  (declare-type
   std/actor/rpc/proto/cipher#rpc-cipher-proto-write-e
   (@lambda 1 #f))
  (declare-type
   std/actor/rpc/proto/cipher#rpc-cipher-proto-write
   (@lambda 6 #f))
  (declare-type
   std/actor/rpc/proto/cipher#rpc-cipher-proto-accept
   (@lambda 2 #f))
  (declare-type
   std/actor/rpc/proto/cipher#rpc-cipher-proto-connect
   (@lambda 2 #f))
  (declare-type
   std/actor/rpc/proto/cipher#rpc-cookie-cipher-proto-accept
   (@lambda 3 #f))
  (declare-type
   std/actor/rpc/proto/cipher#rpc-cookie-cipher-proto-connect
   (@lambda 3 #f))
  (declare-type std/actor/rpc/proto/cipher#rpc-cipher-proto (@lambda 0 #f))
  (declare-type
   std/actor/rpc/proto/cipher#rpc-cookie-cipher-proto__%
   (@lambda 1 #f))
  (declare-type
   std/actor/rpc/proto/cipher#rpc-cookie-cipher-proto__0
   (@lambda 0 #f))
  (declare-type
   std/actor/rpc/proto/cipher#rpc-cookie-cipher-proto
   (@case-lambda
    (0 std/actor/rpc/proto/cipher#rpc-cookie-cipher-proto__0)
    (1 std/actor/rpc/proto/cipher#rpc-cookie-cipher-proto__%))))
