;;; $Id: binary-tree-of-num.def,v 1.3 1998/10/07 19:39:49 leavens Exp $

(defrep tree datum)

(deftype interior? (-> (tree) boolean))
(deftype make-interior (-> (symbol tree tree) tree))
(deftype interior->symbol (-> (tree) symbol))
(deftype interior->left-tree (-> (tree) tree))
(deftype interior->right-tree (-> (tree) tree))

(deftype leaf? (-> (tree) boolean))
(deftype make-leaf (-> (number) tree))
(deftype leaf->number (-> (tree) number))

(deftype tree? (-> (datum) boolean))

