;;; $Id: record-lambda-1-exp.def,v 1.2 1998/10/09 19:48:52 leavens Exp $ trustme! (defrep lambda-1-exp datum) (deftype varref? (-> (lambda-1-exp) boolean)) (deftype make-varref (-> (symbol) lambda-1-exp)) (deftype varref->var (-> (lambda-1-exp) symbol)) (deftype lambda? (-> (lambda-1-exp) boolean)) (deftype make-lambda (-> (symbol lambda-1-exp) lambda-1-exp)) (deftype lambda->formal (-> (lambda-1-exp) symbol)) (deftype lambda->body (-> (lambda-1-exp) lambda-1-exp)) (deftype app? (-> (lambda-1-exp) boolean)) (deftype make-app (-> (lambda-1-exp lambda-1-exp) lambda-1-exp)) (deftype app->rator (-> (lambda-1-exp) lambda-1-exp)) (deftype app->rand (-> (lambda-1-exp) lambda-1-exp)) (deftype lambda-1-exp? (-> (datum) boolean)) (deftype parse-lambda-1-exp (-> (datum) lambda-1-exp)) (deftype unparse-lambda-1-exp (-> (lambda-1-exp) datum))