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

(begin
  (declare-type std/crypto/bn#BN->bytes (@lambda 1 #f))
  (declare-type std/crypto/bn#bytes->BN__% (@lambda 3 #f))
  (declare-type std/crypto/bn#bytes->BN__0 (@lambda 1 #f))
  (declare-type std/crypto/bn#bytes->BN__1 (@lambda 2 #f))
  (declare-type
   std/crypto/bn#bytes->BN
   (@case-lambda
    (1 std/crypto/bn#bytes->BN__0)
    (2 std/crypto/bn#bytes->BN__1)
    (3 std/crypto/bn#bytes->BN__%))))
