;;; $Id: lexical-addr.def,v 1.2 1998/10/01 17:02:27 leavens Exp $

trustme!

(defrep lexical-addr (list datum))

(deftype lexical-addr? (-> (datum) boolean))
(deftype make-lexical-addr (-> (symbol number number) lexical-addr))
(deftype lexical-addr->name (-> (lexical-addr) symbol))
(deftype lexical-addr->depth (-> (lexical-addr) number))
(deftype lexical-addr->position (-> (lexical-addr) number))
(deftype parse-lexical-addr (-> (datum) lexical-addr))
