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

(defrep seq datum)

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