path: root/testsuite/tests/codeGen/should_run/cgrun055.stdout

======
x: Five
let y = succ x
y: Six
y == Six: True
succ x == Six: True
isFive x: True