next node: VoidConv,
prev node: RelCmpConv,
up to node: Subsystem BasicTypes


SubrelConv

Signature of SubrelConv

List of Import References :
See BOOL
See DENOTATION
See Subrel

SIGNATURE SubrelConv

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

--

IMPORT Subrel ONLY subrel

FUN ` : subrel -> denotation
--    = `  == "="
--    |= ` == "|="
--    < `  == "<"


next node: VoidConv,
prev node: RelCmpConv,
up to node: Subsystem BasicTypes