;;; $Id: type-check-variable.def,v 1.7 1999/06/23 16:57:22 leavens Exp $

(defrep variable symbol)
(deftype tc:variable? (-> (datum) boolean))
(deftype tc:symbol->variable (-> (symbol) variable))
(deftype tc:variable->symbol (-> (variable) symbol))
(deftype tc:new-variable (-> () variable))
(deftype tc:variable-new-level (-> (number) (-> (variable) variable)))
