gistfile1.txt

> (:print-type andmap)
(All (a c d b ...)
  (case->
   (-> (-> a c : d) (Listof a) c)
   (-> (-> a b ... b c) (Listof a) (Listof b) ... b (U True c))))


> (λ ([a : Real]
      [b : Symbol]
      [c : Boolean]
      [d : String])
    (and (> a 0)
         (not (equal? b 'lolwat))
         c
         (> (string-length d) 3)))
- : (-> Real Symbol Boolean String Boolean)
#<procedure>


> (andmap
   (λ ([a : Real]
       [b : Symbol]
       [c : Boolean]
       [d : String])
     (and (> a 0)
          (not (equal? b 'lolwat))
          c
          (> (string-length d) 3)))
   (list -1 2 0 5)
   (list 'foobar 'xyzzy 'quux 'lolwat)
   (list #t #t #f #f)
   (list "yes" "sometimes" "no" "why?"))
- : Boolean
#f