;;; $Id: ff-ADT.def,v 1.2 1998/10/07 00:02:18 leavens Exp $

;;; Copy this file to the directory where your ff-ADT.scm file lives.

(defrep (ff ?v) (list datum))

(deftype create-empty-ff (-> () (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))
