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