;;; $Id: ff-as-record.def,v 1.1 1998/10/05 08:01:11 leavens Exp $

(defrep (ff ?v) datum)

(deftype create-empty-ff (-> () (ff ?v)))
(deftype extend-ff (-> (symbol ?v (ff ?v)) (ff ?v)))
(deftype extend-ff* (-> ((list symbol) (list ?v) (ff ?v)) (ff ?v)))
(deftype apply-ff (-> ((ff ?v) symbol) ?v))
(deftype defined-in-ff? (-> ((ff ?v) symbol) boolean))
