ComTripleCompose

This structures supports the composition of a command which yields a triple with a continuation.

Signature of ComTripleCompose

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

SIGNATURE ComTripleCompose[first1,first2,first3,second]

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

IMPORT  Triple[first1,first2,first3]      ONLY triple
        Com[triple] ONLY com
        Com[second] ONLY com

SORT first1 first2 first3 second

FUN & : com[triple] ** (first1 ** first2 ** first3 -> com[second])
              -> com[second]

next node: Env,
prev node: ComStateWith,
up to node: Subsystem Commands