next node: ComTripleCompose,
prev node: ComSeqReduce,
up to node: Subsystem Commands


ComStateWith

Signature of ComStateWith

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