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

(begin
  (declare-type std/misc/number#xmin__0 (@lambda 2 #f))
  (declare-type std/misc/number#xmin__1 (@lambda 0 #f))
  (declare-type std/misc/number#xmin__2 (@lambda 1 #f))
  (declare-type std/misc/number#xmin__3 (@lambda (0) #f))
  (declare-type
   std/misc/number#xmin
   (@case-lambda
    (2 std/misc/number#xmin__0)
    (0 std/misc/number#xmin__1)
    (1 std/misc/number#xmin__2)
    ((0) std/misc/number#xmin__3)))
  (declare-type std/misc/number#xmin/list (@lambda 1 #f))
  (declare-type std/misc/number#xmin/map__% (@lambda 3 #f))
  (declare-type std/misc/number#xmin/map__0 (@lambda 2 #f))
  (declare-type
   std/misc/number#xmin/map
   (@case-lambda
    (2 std/misc/number#xmin/map__0)
    (3 std/misc/number#xmin/map__%)))
  (declare-type std/misc/number#xmax__0 (@lambda 2 #f))
  (declare-type std/misc/number#xmax__1 (@lambda 0 #f))
  (declare-type std/misc/number#xmax__2 (@lambda 1 #f))
  (declare-type std/misc/number#xmax__3 (@lambda (0) #f))
  (declare-type
   std/misc/number#xmax
   (@case-lambda
    (2 std/misc/number#xmax__0)
    (0 std/misc/number#xmax__1)
    (1 std/misc/number#xmax__2)
    ((0) std/misc/number#xmax__3)))
  (declare-type std/misc/number#xmax/list (@lambda 1 #f))
  (declare-type std/misc/number#xmax/map__% (@lambda 3 #f))
  (declare-type std/misc/number#xmax/map__0 (@lambda 2 #f))
  (declare-type
   std/misc/number#xmax/map
   (@case-lambda
    (2 std/misc/number#xmax/map__0)
    (3 std/misc/number#xmax/map__%))))
