Definitions
bool
1
Doc
At:
assert
of
eq
int
2
1.
x:
2.
y:
3.
x = y
x=
y
By:
Unfold `eq_int` 0
Generated subgoal:
1
if x=y
true
; false
fi
x=
y