Definitions
bool
1
Doc
At:
assert
of
eq
int
1
1
2
1
1.
x:
2.
y:
3.
false
4.
x = y
x = y
By:
Unfold `assert` 3
THEN
RW ifthenelse_evalC 3
Generated subgoals:
None
x = y
x = y