Definitions
bool
1
Doc
At:
b2i
bounds
b:
. 0
b2i(b) & b2i(b)
1
By:
Analyze 0
Generated subgoal:
1
1.
b:
0
b2i(b) & b2i(b)
1
b:
. 0
b2i(b) & b2i(b)1