Definitions
bool
1
Doc
At:
btrue
neq
bfalse
1
1
1.
true
= false
2.
if true
1 else 0 fi = if false
1 else 0 fi
False
By:
RWH ifthenelse_evalC 2
Generated subgoals:
None
= false
1 else 0 fi = if false 1 else 0 fi
False