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 ===== | ||