List of Import References :
See BOOL
See DENOTATION
SIGNATURE BoolConv
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- Converting to bool to denotation FUN ` : bool -> denotation -- true` == "true" -- false` == "false"
next node: RelCmp,
prev node: Bool,
up to node: Subsystem BasicTypes