;;; $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))