Definitions
bool
1
Doc
At:
assert
of
eq
atom
2
1
1.
x:
Atom
2.
y:
Atom
3.
x = y
true
By:
RW assert_evalC 0
Generated subgoals:
None
true