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

(begin
  (declare-type
   std/net/bio/input#input-buffer::t
   (@struct-type std/net/bio/input#input-buffer::t #f 5 #f ()))
  (declare-type
   std/net/bio/input#input-buffer?
   (@struct-pred std/net/bio/input#input-buffer::t))
  (declare-type
   std/net/bio/input#make-input-buffer
   (@struct-cons std/net/bio/input#input-buffer::t))
  (declare-type
   std/net/bio/input#input-buffer-e
   (@struct-getf std/net/bio/input#input-buffer::t 0 #f))
  (declare-type
   std/net/bio/input#input-buffer-rlo
   (@struct-getf std/net/bio/input#input-buffer::t 1 #f))
  (declare-type
   std/net/bio/input#input-buffer-rhi
   (@struct-getf std/net/bio/input#input-buffer::t 2 #f))
  (declare-type
   std/net/bio/input#input-buffer-fill
   (@struct-getf std/net/bio/input#input-buffer::t 3 #f))
  (declare-type
   std/net/bio/input#input-buffer-read
   (@struct-getf std/net/bio/input#input-buffer::t 4 #f))
  (declare-type
   std/net/bio/input#input-buffer-e-set!
   (@struct-setf std/net/bio/input#input-buffer::t 0 #f))
  (declare-type
   std/net/bio/input#input-buffer-rlo-set!
   (@struct-setf std/net/bio/input#input-buffer::t 1 #f))
  (declare-type
   std/net/bio/input#input-buffer-rhi-set!
   (@struct-setf std/net/bio/input#input-buffer::t 2 #f))
  (declare-type
   std/net/bio/input#input-buffer-fill-set!
   (@struct-setf std/net/bio/input#input-buffer::t 3 #f))
  (declare-type
   std/net/bio/input#input-buffer-read-set!
   (@struct-setf std/net/bio/input#input-buffer::t 4 #f))
  (declare-type
   std/net/bio/input#&input-buffer-e
   (@struct-getf std/net/bio/input#input-buffer::t 0 #t))
  (declare-type
   std/net/bio/input#&input-buffer-rlo
   (@struct-getf std/net/bio/input#input-buffer::t 1 #t))
  (declare-type
   std/net/bio/input#&input-buffer-rhi
   (@struct-getf std/net/bio/input#input-buffer::t 2 #t))
  (declare-type
   std/net/bio/input#&input-buffer-fill
   (@struct-getf std/net/bio/input#input-buffer::t 3 #t))
  (declare-type
   std/net/bio/input#&input-buffer-read
   (@struct-getf std/net/bio/input#input-buffer::t 4 #t))
  (declare-type
   std/net/bio/input#&input-buffer-e-set!
   (@struct-setf std/net/bio/input#input-buffer::t 0 #t))
  (declare-type
   std/net/bio/input#&input-buffer-rlo-set!
   (@struct-setf std/net/bio/input#input-buffer::t 1 #t))
  (declare-type
   std/net/bio/input#&input-buffer-rhi-set!
   (@struct-setf std/net/bio/input#input-buffer::t 2 #t))
  (declare-type
   std/net/bio/input#&input-buffer-fill-set!
   (@struct-setf std/net/bio/input#input-buffer::t 3 #t))
  (declare-type
   std/net/bio/input#&input-buffer-read-set!
   (@struct-setf std/net/bio/input#input-buffer::t 4 #t))
  (declare-type std/net/bio/input#bio-input-fill! (@lambda 2 #f))
  (declare-type std/net/bio/input#bio-input-read (@lambda 4 #f))
  (declare-type std/net/bio/input#bio-read-u8 (@lambda 1 #f))
  (declare-type std/net/bio/input#bio-peek-u8 (@lambda 1 #f))
  (declare-type std/net/bio/input#bio-read-subu8vector (@lambda 4 #f))
  (declare-type std/net/bio/input#bio-read-subu8vector*__% (@lambda 5 #f))
  (declare-type std/net/bio/input#bio-read-subu8vector*__0 (@lambda 4 #f))
  (declare-type
   std/net/bio/input#bio-read-subu8vector*
   (@case-lambda
    (4 std/net/bio/input#bio-read-subu8vector*__0)
    (5 std/net/bio/input#bio-read-subu8vector*__%)))
  (declare-type
   std/net/bio/input#bio-read-subu8vector-unbuffered
   (@lambda 4 #f))
  (declare-type std/net/bio/input#bio-read-bytes (@lambda 2 #f))
  (declare-type std/net/bio/input#bio-read-bytes-unbuffered (@lambda 2 #f))
  (declare-type std/net/bio/input#bio-read-u32 (@lambda 1 #f))
  (declare-type std/net/bio/input#bio-get-u32 (@lambda 2 #f))
  (declare-type std/net/bio/input#bio-read-s32 (@lambda 1 #f))
  (declare-type std/net/bio/input#bio-read-u16 (@lambda 1 #f))
  (declare-type std/net/bio/input#bio-get-u16 (@lambda 2 #f))
  (declare-type std/net/bio/input#bio-read-s16 (@lambda 1 #f))
  (declare-type std/net/bio/input#bio-read-char (@lambda 1 #f))
  (declare-type std/net/bio/input#bio-read-substring (@lambda 4 #f))
  (declare-type std/net/bio/input#bio-read-string (@lambda 4 #f))
  (declare-type std/net/bio/input#bio-read-line__% (@lambda 4 #f))
  (declare-type std/net/bio/input#bio-read-line__0 (@lambda 1 #f))
  (declare-type std/net/bio/input#bio-read-line__1 (@lambda 2 #f))
  (declare-type std/net/bio/input#bio-read-line__2 (@lambda 3 #f))
  (declare-type
   std/net/bio/input#bio-read-line
   (@case-lambda
    (1 std/net/bio/input#bio-read-line__0)
    (2 std/net/bio/input#bio-read-line__1)
    (3 std/net/bio/input#bio-read-line__2)
    (4 std/net/bio/input#bio-read-line__%)))
  (declare-type std/net/bio/input#bio-input-utf8-decode (@lambda 2 #f))
  (declare-type std/net/bio/input#bio-input-skip (@lambda 2 #f))
  (declare-type std/net/bio/input#bio-input-count (@lambda 1 #f)))
