Next: Abstract Redices
Up: Conversion Descriptions
Previous: Atomic Direct-Computation Conversions
Abstractions can be grouped by adding attributes (sometimes called conditions)
to abstraction objects. An atomic conversion for unfolding abstractions
that is sensitive to attributes is:
AUnfoldsTopC ( attrs : tok list)
-
- If applied to a term t that has any of the attributes attrs,
then unfold it.
Karla Consroe
Wed Oct 23 13:48:45 EDT 1996