;;; predicates.scm -- various useful predicates, collected from other places
;;;
;;; author :  Sandra Loosemore
;;; date   :  19 Mar 1992
;;;


;;; Some predicates on patterns (used by CFN)

(define-integrable (var-or-wildcard-pat? p)
  (or (is-type? 'wildcard-pat p)
      (is-type? 'var-pat p)))

(define-integrable (irrefutable-pat? p)
  (or (is-type? 'wildcard-pat p)
      (is-type? 'var-pat p)
      (is-type? 'irr-pat p)))