Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
language:controlflow [2019/04/18 18:25] – [Selections] rajit | language:controlflow [2020/12/02 06:00] – external edit 127.0.0.1 | ||
---|---|---|---|
Line 97: | Line 97: | ||
< | < | ||
(i : 32 : | (i : 32 : | ||
- | [ i = 0 -> r0(in[i], | + | [ i = 0 -> r0(in[i], |
- | [] else -> r[i](in[i], | + | [] else -> r[i](in[i], |
] | ] | ||
) | ) | ||
Line 120: | Line 120: | ||
defproc tree (bool a[N]) | defproc tree (bool a[N]) | ||
{ | { | ||
- | [ N = 1 -> leaf l(a[0]) | + | [ N = 1 -> leaf l(a[0]); |
[] N > 1 -> tree< | [] N > 1 -> tree< | ||
- | | + | |
] | ] | ||
} | } |