Definitions
bool
1
Doc
At:
assert
of
tt
true
By:
Rewrite assert_evalC 0
Generated subgoals:
None
true