Differences
This shows you the differences between two versions of the page.
| — |
sav08:simple_module_invariants [2008/04/09 00:42] (current) vkuncak created |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ====== Simple Module Invariants ====== | ||
| + | |||
| + | ===== Invariants as Shorthands ===== | ||
| + | |||
| + | ===== Hiding Private Invariants ===== | ||