next node: ComState,
prev node: ComCompose,
up to node: Subsystem Commands


ComConv

This structure realizes the conversion of answers and commands.

Signature of ComConv

List of Import References :
See BOOL
See Com
See DENOTATION
See Nat
See Option
See Seq
See Void

SIGNATURE ComConv[data]

$Date: 1998/06/16 16:00:16 $ ($Revision: 1.1.1.1 $)

-- Parameter
SORT data

IMPORT Com[data] ONLY com ans:SORT

Answers are converted by the following function, which is curried with a converter for data carried:

FUN ` : (data -> denotation) -> ans -> denotation

For the opaque type of commands, the conversion function just returns the "shape" of the command.

FUN ` : com -> denotation


next node: ComState,
prev node: ComCompose,
up to node: Subsystem Commands