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.

8 lines
102 B
Plaintext

node f(x:int) returns (y:int on ck; ck,ck2:bool)
let
ck = true;
ck2 = true;
y = (x :: ck2)
tel