5 lines
90 B
Plaintext
5 lines
90 B
Plaintext
node n2 (i: int) returns (o: bool);
|
|
let
|
|
o = pre (true and pre( i = pre(pre(i))));
|
|
tel
|