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

(begin
  (declare-type std/srfi/78#check:write (@case-lambda (1 #f) (2 #f)))
  (declare-type std/srfi/78#check-set-mode! (@lambda 1 #f))
  (declare-type std/srfi/78#check-reset! (@lambda 0 #f))
  (declare-type std/srfi/78#check:add-correct! (@lambda 0 #f))
  (declare-type std/srfi/78#check:add-failed! (@lambda 3 #f))
  (declare-type std/srfi/78#check:report-expression (@lambda 1 #f))
  (declare-type std/srfi/78#check:report-actual-result (@lambda 1 #f))
  (declare-type std/srfi/78#check:report-correct (@lambda 1 #f))
  (declare-type std/srfi/78#check:report-failed (@lambda 1 #f))
  (declare-type std/srfi/78#check-report (@lambda 0 #f))
  (declare-type std/srfi/78#check-passed? (@lambda 1 #f))
  (declare-type std/srfi/78#check:proc (@lambda 4 #f))
  (declare-type std/srfi/78#check:proc-ec (@lambda 1 #f)))
