Definitions
bool
1
Doc
At:
assert
of
ff
1
1.
false
False
By:
Rewrite assert_evalC 1
Generated subgoals:
None
False