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