1.1 --- a/docs/annotations.txt Mon Mar 10 23:14:26 2014 +0100
1.2 +++ b/docs/annotations.txt Thu Mar 13 23:10:25 2014 +0100
1.3 @@ -54,8 +54,9 @@
1.4 Attribute Users
1.5 ---------------
1.6
1.7 -_attrtypes defines types deduced either from combined attribute usage
1.8 - details (for users)
1.9 +_attrtypes defines types deduced from combined attribute usage
1.10 + details (for users), indicating a set of (attribute,
1.11 + value) tuples for each name
1.12 _values defines a name-to-value mapping for objects that may be
1.13 used to access attributes
1.14 _guard_types mapping from names to ("single", "multiple", "impossible")