The builtin type of booleans with constants, negation, conjunction, disjunction and equality. For additional functions see Bool.
SIGNATURE BOOL
$Date: 2011-09-28 10:13:23 +0200 (Mi, 28. Sep 2011) $ ($Revision: 714 $)
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