15 lines
237 B
Text
15 lines
237 B
Text
|
node count(c : int; r : bool) returns (res : int)
|
||
|
|
let
|
||
|
|
res = 0 fby (if r then 0 else res + c);
|
||
|
|
tel
|
||
|
|
|
||
|
|
node byfour() returns (res : int)
|
||
|
|
let
|
||
|
|
res = 0 fby (res + 4);
|
||
|
|
tel
|
||
|
|
|
||
|
|
node main() returns (c : int)
|
||
|
|
let
|
||
|
|
c = count(byfour(), false);
|
||
|
|
tel
|