You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
node f() returns (o:bool)
|
|
var x:bool;
|
|
let
|
|
o = x;
|
|
x = true fby false fby x;
|
|
tel
|
|
|
|
node main() returns (o:bool)
|
|
let
|
|
o = f();
|
|
tel
|