List of Import References :
See BOOL
See Com
See ComState
See DENOTATION
See Nat
See Option
See Seq
See Void
SIGNATURE ComStateWith[state, data]
$Date: 1998/06/16 16:00:16 $ ($Revision: 1.1.1.1 $)
SORT state data IMPORT Com[data] ONLY com ComState[state] ONLY stateId:SORT FUN with => : stateId ** (state -> state ** data) -> com[data] FUN get ? : stateId ** (state -> data) -> com[data]
next node: ComTripleCompose,
prev node: ComSeqReduce,
up to node: Subsystem Commands