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: 1998/06/16 15:59:56 $ ($Revision: 1.1.1.1 $)

--

IMPORT Subrel ONLY subrel

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


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