;;; $Id: interior-as-vector.def,v 1.3 1999/03/02 23:41:55 leavens Exp $ ;;; You have to copy this file to the same directory as ;;; the file interior-as-vector.scm (defrep (interior ?s ?t ?u) (vector datum)) (deftype interior? (-> (datum) boolean)) (deftype make-interior (-> (?s ?t ?u) (interior ?s ?t ?u))) (deftype interior->symbol (-> ((interior ?s ?t ?u)) ?s)) (deftype interior->left-tree (-> ((interior ?s ?t ?u)) ?t)) (deftype interior->right-tree (-> ((interior ?s ?t ?u)) ?u))