bool
1
Doc
At:
assert
of
bor
1
2
1.
True
False
True
By:
DNth 2 0
Generated subgoals:
None
False 
True