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

(begin
  (declare-type
   std/crypto/etc#libcrypto-error::t
   (@struct-type std/crypto/etc#libcrypto-error::t error::t 0 :init! ()))
  (declare-type
   std/crypto/etc#libcrypto-error?
   (@struct-pred std/crypto/etc#libcrypto-error::t))
  (declare-type
   std/crypto/etc#make-libcrypto-error
   (@struct-cons std/crypto/etc#libcrypto-error::t))
  (declare-type std/crypto/etc#libcrypto-error:::init! (@lambda 3 #f))
  (declare-method
   std/crypto/etc#libcrypto-error::t
   :init!
   std/crypto/etc#libcrypto-error:::init!
   #f)
  (declare-type
   std/crypto/etc#libcrypto-error::display-exception
   (@lambda 2 #f))
  (declare-method
   std/crypto/etc#libcrypto-error::t
   display-exception
   std/crypto/etc#libcrypto-error::display-exception
   #f)
  (declare-type std/crypto/etc#raise-libcrypto-error (@lambda (0) #f))
  (declare-type std/crypto/etc#call-with-binary-input (@lambda (2) #f))
  (declare-type
   std/crypto/etc#call-with-binary-input-u8vector__0
   (@lambda 2 #f))
  (declare-type
   std/crypto/etc#call-with-binary-input-u8vector__1
   (@lambda 3 #f))
  (declare-type
   std/crypto/etc#call-with-binary-input-u8vector__2
   (@lambda 4 #f))
  (declare-type
   std/crypto/etc#call-with-binary-input-u8vector
   (@case-lambda
    (2 std/crypto/etc#call-with-binary-input-u8vector__0)
    (3 std/crypto/etc#call-with-binary-input-u8vector__1)
    (4 std/crypto/etc#call-with-binary-input-u8vector__2)))
  (declare-type std/crypto/etc#call-with-binary-input-string__0 (@lambda 2 #f))
  (declare-type std/crypto/etc#call-with-binary-input-string__1 (@lambda 3 #f))
  (declare-type std/crypto/etc#call-with-binary-input-string__2 (@lambda 4 #f))
  (declare-type
   std/crypto/etc#call-with-binary-input-string
   (@case-lambda
    (2 std/crypto/etc#call-with-binary-input-string__0)
    (3 std/crypto/etc#call-with-binary-input-string__1)
    (4 std/crypto/etc#call-with-binary-input-string__2)))
  (declare-type std/crypto/etc#call-with-binary-input-port__% (@lambda 3 #f))
  (declare-type std/crypto/etc#call-with-binary-input-port__0 (@lambda 2 #f))
  (declare-type
   std/crypto/etc#call-with-binary-input-port
   (@case-lambda
    (2 std/crypto/etc#call-with-binary-input-port__0)
    (3 std/crypto/etc#call-with-binary-input-port__%)))
  (declare-type std/crypto/etc#call-with-binary-input-byte-port (@lambda 3 #f))
  (declare-type
   std/crypto/etc#call-with-binary-input-character-port
   (@lambda 3 #f))
  (declare-type std/crypto/etc#drain-input-character-buffer (@lambda 1 #f))
  (declare-type std/crypto/etc#random-bytes (@lambda 1 #f))
  (declare-type std/crypto/etc#random-bytes!__% (@lambda 3 #f))
  (declare-type std/crypto/etc#random-bytes!__0 (@lambda 1 #f))
  (declare-type std/crypto/etc#random-bytes!__1 (@lambda 2 #f))
  (declare-type
   std/crypto/etc#random-bytes!
   (@case-lambda
    (1 std/crypto/etc#random-bytes!__0)
    (2 std/crypto/etc#random-bytes!__1)
    (3 std/crypto/etc#random-bytes!__%))))
