Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sum_type [2014/04/01 14:13] nikolaj |
sum_type [2014/04/03 16:23] nikolaj |
||
---|---|---|---|
Line 16: | Line 16: | ||
Note how the rules reflect the logical "or". | Note how the rules reflect the logical "or". | ||
==== Parents ==== | ==== Parents ==== | ||
- | === Related === | + | === Element of === |
[[Type]] | [[Type]] |