;; $Id: all-mod.scm,v 1.1 2005/03/22 18:08:51 leavens Exp $

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

  (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