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

(begin
  (declare-type std/misc/ports#copy-port (@lambda 2 #f))
  (declare-type std/misc/ports#try-copy-byte-port (@lambda 2 #f))
  (declare-type std/misc/ports#copy-character-port (@lambda 2 #f))
  (declare-type std/misc/ports#copy-byte-port/lock (@lambda 2 #f))
  (declare-type std/misc/ports#copy-character-port/lock (@lambda 2 #f))
  (declare-type std/misc/ports#copy-object-port (@lambda 2 #f))
  (declare-type std/misc/ports#read-all-as-string (@lambda 1 #f))
  (declare-type std/misc/ports#read-file-string__% (@lambda 3 #f))
  (declare-type
   std/misc/ports#read-file-string__@
   (@kw-lambda-dispatch (settings:) std/misc/ports#read-file-string__%))
  (declare-type
   std/misc/ports#read-file-string
   (@kw-lambda (settings:) std/misc/ports#read-file-string__@))
  (declare-type std/misc/ports#read-all-as-lines__% (@lambda 4 #f))
  (declare-type
   std/misc/ports#read-all-as-lines__@
   (@kw-lambda-dispatch
    (separator: include-separator?:)
    std/misc/ports#read-all-as-lines__%))
  (declare-type
   std/misc/ports#read-all-as-lines
   (@kw-lambda
    (separator: include-separator?:)
    std/misc/ports#read-all-as-lines__@))
  (declare-type std/misc/ports#read-file-lines__% (@lambda 3 #f))
  (declare-type
   std/misc/ports#read-file-lines__@
   (@kw-lambda-dispatch (settings:) std/misc/ports#read-file-lines__%))
  (declare-type
   std/misc/ports#read-file-lines
   (@kw-lambda (settings:) std/misc/ports#read-file-lines__@))
  (declare-type std/misc/ports#read-all-as-u8vector__% (@lambda 2 #f))
  (declare-type std/misc/ports#read-all-as-u8vector__0 (@lambda 1 #f))
  (declare-type
   std/misc/ports#read-all-as-u8vector
   (@case-lambda
    (1 std/misc/ports#read-all-as-u8vector__0)
    (2 std/misc/ports#read-all-as-u8vector__%)))
  (declare-type std/misc/ports#read-file-u8vector__% (@lambda 4 #f))
  (declare-type
   std/misc/ports#read-file-u8vector__@
   (@kw-lambda-dispatch
    (settings: bufsize:)
    std/misc/ports#read-file-u8vector__%))
  (declare-type
   std/misc/ports#read-file-u8vector
   (@kw-lambda (settings: bufsize:) std/misc/ports#read-file-u8vector__@))
  (declare-type std/misc/ports#write-file-string__% (@lambda 5 #f))
  (declare-type
   std/misc/ports#write-file-string__@
   (@kw-lambda-dispatch
    (settings: newline-ending:)
    std/misc/ports#write-file-string__%))
  (declare-type
   std/misc/ports#write-file-string
   (@kw-lambda
    (settings: newline-ending:)
    std/misc/ports#write-file-string__@))
  (declare-type std/misc/ports#write-file-lines__% (@lambda 5 #f))
  (declare-type
   std/misc/ports#write-file-lines__@
   (@kw-lambda-dispatch
    (settings: newline-ending:)
    std/misc/ports#write-file-lines__%))
  (declare-type
   std/misc/ports#write-file-lines
   (@kw-lambda
    (settings: newline-ending:)
    std/misc/ports#write-file-lines__@)))
