;;; $Id: seq-proc.def,v 1.1 1998/10/08 01:57:02 leavens Exp $

(defrep seq (-> (number) number))

(deftype seq-repeat (-> (number) seq))
(deftype seq-generator (-> ((-> (number) number)) seq))
(deftype seq-nth (-> (seq number) number))
(deftype seq-add (-> (seq seq) seq))
