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

(begin
  (declare-type std/srfi/160/base#u8? (@lambda 1 #f))
  (declare-type std/srfi/160/base#s8? (@lambda 1 #f))
  (declare-type std/srfi/160/base#u16? (@lambda 1 #f))
  (declare-type std/srfi/160/base#s16? (@lambda 1 #f))
  (declare-type std/srfi/160/base#u32? (@lambda 1 #f))
  (declare-type std/srfi/160/base#s32? (@lambda 1 #f))
  (declare-type std/srfi/160/base#u64? (@lambda 1 #f))
  (declare-type std/srfi/160/base#s64? (@lambda 1 #f))
  (declare-type std/srfi/160/base#f32? (@lambda 1 flonum?))
  (declare-type std/srfi/160/base#f64? (@lambda 1 flonum?))
  (declare-type std/srfi/160/base#c64? (@lambda 1 #f))
  (declare-type std/srfi/160/base#c128? (@lambda 1 #f)))
