;; $Id: all-mod.scm,v 1.3 2006/01/05 22:24:08 leavens Exp $

(module all-mod (lib "typedscm.ss" "typedscm")

  (provide all)
  
  (deftype all (forall (T) (-> ((-> (T) boolean) (list-of T)) boolean)))

  (define all
    (lambda (pred ls)
      (or (null? ls)
          (and (pred (car ls))
               (all pred (cdr ls))))))

  ) ;; end module