1.1 --- a/docs/annotations.txt Mon Mar 10 23:12:41 2014 +0100
1.2 +++ b/docs/annotations.txt Mon Mar 10 23:14:26 2014 +0100
1.3 @@ -58,6 +58,13 @@
1.4 details (for users)
1.5 _values defines a name-to-value mapping for objects that may be
1.6 used to access attributes
1.7 +_guard_types mapping from names to ("single", "multiple", "impossible")
1.8 + defines the nature of any type check upon assignment of an
1.9 + object to a name/user; an impossible guard occurs when
1.10 + concrete type information conflicts with deduced type
1.11 + information
1.12 +_guards a mapping to a set of actual guard types to which the
1.13 + assigned object must comply
1.14
1.15 Attribute Contributors
1.16 ----------------------