From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Thu Feb 9 19:31:14 EST 2006 |
|
Your understanding is correct. DEFINE-TYPE is defined in the Help Desk. Yes, FAE? and DefnSub? are type predicates that are defined automatically for the corresponding type definitions. Everything else is also indeed as you inferred. Shriram
Posted on the users mailing list. |
|