A boolean constant is an ASM constant representing the logical trueand falsevalues.
BooleanConstantAST ::= false | true
A boolean constant can have two values: trueand false.
true
false
Defined In: ASM constant
Used By: base logical term