;;; $Id: store-record-rep.def,v 1.1 1998/10/12 01:42:07 leavens Exp $

;;; Copy this file to the directory where your store-record-rep.scm file lives.

(defrep (store ?t) datum)

(deftype create-empty-store (-> () (store ?t)))
(deftype update (-> ((store ?t) number ?t) (store ?t)))
(deftype fetch (-> ((store ?t) number) (maybe ?t)))
(deftype defined-in-store? (-> ((store ?t) number) boolean))