The builtin type of booleans with constants, negation, conjunction, disjunction and equality. For additional functions see Bool.
SIGNATURE BOOL
$Date: 2010-09-30 18:24:17 +0200 (Thu, 30 Sep 2010) $ ($Revision: 616 $)
TYPE bool == true false
negation
FUN ~ : bool->bool
conjunction / disjunction
FUN and or : bool**bool->bool
equality / nonequality
FUN = |= : bool**bool->bool
priorities
/$ BRACKET LEFT [and] [or] [=, |=] $/ /$ BRACKET LEFT [and] [=, |=] $/ /$ BRACKET RIGHT [=, |=] [or] [and] $/ /$ BRACKET RIGHT [=, |=] [and] $/
next node: DENOTATION,
prev node: Subsystem Compiler,
up to node: Subsystem Compiler