]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | mutable type pair; |
2 | ||
3 | void incx1 (pair p) { } | |
4 | void incx2 (pair p) { } | |
5 | void incx3 (pair p) { } | |
6 | void incx4 (pair p) { } | |
7 | ||
8 | only pair pair_create (void) { } | |
9 | void pair_free (out only pair p) { modifies p; } |