;;; $Id: eval-form-with-define.def,v 1.1 1998/11/11 18:02:09 leavens Exp $

trustme!

(deftype eval-form (-> (parsed-form) Expressed-Value))
