Definitions
bool
1
Doc
At:
bool
cases
b:
. b = true
b = false
By:
Analyze 0
Generated subgoal:
1
1.
b:
b = true
b = false
b:
. b = true
b = false b = true b = false