CVS difference for ai05s/ai05-0287-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai05s/ai05-0287-1.txt

--- ai05s/ai05-0287-1.txt	2012/02/14 03:12:32	1.1
+++ ai05s/ai05-0287-1.txt	2012/02/19 04:54:05	1.2
@@ -100,6 +100,19 @@
 if we can't get agreement on [A], mainly because some 'First uses will remain
 illegal no matter what rule we adopt.]
 
+Note: A Canadian NB comment suggested the following attributes:
+
+   'First_Predicate => Returns the first value of a static predicate
+   'Last_Predicate => Returns the last value of a static predicate
+   'Predicate_Range => All values that satisfy a static predicate,
+                       in the order specified by the predicate
+	'Next_Predicate => Works like 'Succ, but gets the next value
+	                   of a static predicate in the order specified
+					   by the predicate.
+	'Previous_Predicate => Works like 'Pred, but gets the previous
+	                   value of a static predicate in the reverse order
+					   specified by the predicate
+
 !discussion
 
 *** TBD ***

Questions? Ask the ACAA Technical Agent