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

(begin
  (declare-type
   std/actor/rpc/proto/message#rpc-proto-marshal-message
   (@lambda 2 #f))
  (declare-type
   std/actor/rpc/proto/message#rpc-proto-write-message
   (@lambda 3 #f))
  (declare-type
   std/actor/rpc/proto/message#rpc-proto-read-envelope
   (@lambda 1 #f))
  (declare-type
   std/actor/rpc/proto/message#rpc-proto-read-payload!
   (@lambda 3 #f)))
