bool
1
Doc
At:
assert
of
bnot
2
1
1.
True
False
False
By:
BackThru 1
Generated subgoals:
None
False
False