From: David Vaughn
Subject: "varset"?
Date: 
Message-ID: <3493FD76.17C1@fas.harvard.edu>
Can somebody tell me what data-type this is?

<VARSET {(v r x q)} = x not(y z)>

Thanks!
From: Barry Margolin
Subject: Re: "varset"?
Date: 
Message-ID: <6715g7$2dt@pasilla.bbnplanet.com>
In article <·············@fas.harvard.edu>,
David Vaughn  <·······@fas.harvard.edu> wrote:
>Can somebody tell me what data-type this is?
>
><VARSET {(v r x q)} = x not(y z)>

It's either a structure or class VARSET, for which the programmer has
defined a PRINT-OBJECT method.

-- 
Barry Margolin, ······@bbnplanet.com
GTE Internetworking, Powered by BBN, Cambridge, MA
Support the anti-spam movement; see <http://www.cauce.org/>
Please don't send technical questions directly to me, post them to newsgroups.