add lit caps to table
[Imported from Trac: page Capabilities, version 9]
parent
76192498df
commit
9b30a0a639
|
@ -33,8 +33,10 @@ derive #2 (but not the other way around). The full table is:
|
||||||
write read verify
|
write read verify
|
||||||
--------------------
|
--------------------
|
||||||
#1 -> #2
|
#1 -> #2
|
||||||
|
#3
|
||||||
#4 -> #5 -> #6
|
#4 -> #5 -> #6
|
||||||
#7 -> #8
|
#7 -> #8
|
||||||
|
#9
|
||||||
#10 -> #11 -> #12
|
#10 -> #11 -> #12
|
||||||
|
|
||||||
Deriving a weaker capability from a strong one is called "diminishing" the stronger one.
|
Deriving a weaker capability from a strong one is called "diminishing" the stronger one.
|
||||||
|
|
Loading…
Reference in a new issue