;;; $Id: memo.def,v 1.2 1999/04/15 18:32:51 leavens Exp $

trustme!

(defrep (memo ?t) (memo-rep (cell datum)))

(deftype memo? (-> (datum) boolean))
(deftype memo-remember (-> ((-> () ?t)) (memo ?t)))
(deftype memo-retrieve (-> ((memo ?t)) ?t))
