doc/boolean.pcdt


1
2
3
4
5
6
7
8
9
10
11
12
13
14

store(1; xv;)
store(1; yv;)

store(
eq(xv() yv())
res;)

if(res()
print(values equal;)
)

if(not(res())
print(values not;)
)