Definitions
bool
1
Doc
At:
neg
assert
of
eq
int
1
1
1.
x:
2.
y:
x = y
x
y
By:
Unfold `nequal` 0
Generated subgoals:
None
x = y 
x
y