This structure realizes the conversion of answers and commands.
List of Import References :
See BOOL
See Com
See DENOTATION
See Nat
See Option
See Seq
See Void
SIGNATURE ComConv[data]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- 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