List of Import References :
See BOOL
See Com
See DENOTATION
See Nat
See Option
See Seq
See Void
SIGNATURE Env
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
This structure is made obsolete by structure ProcessArgs.
Replace references to this structure by references to ProcessArgs.
IMPORT Nat ONLY nat
Seq[denotation] ONLY seq
Com[denotation] ONLY com ans
Com[seq] ONLY com
Com[nat] ONLY com
FUN argCount : com[nat]
FUN arg : nat->com[denotation]
FUN noSuchArg? : ans[denotation] -> bool
FUN args : com[seq[denotation]]
FUN env : denotation->com[denotation]
FUN noSuchEnvVar? : ans[denotation] -> bool
/$ ERROR [argCount] argCount has been moved to structure ProcessArgs $/
/$ ERROR [arg] arg has been moved to structure ProcessArgs $/
/$ ERROR [noSuchArg?] noSuchArg? has been moved to structure ProcessArgs $/
/$ ERROR [args] args has been moved to structure ProcessArgs $/
/$ ERROR [env] env has been moved to structure ProcessArgs $/
/$ ERROR [noSuchEnvVar?] noSuchEnvVar? has been moved to
structure ProcessArgs $/
next node: ComSemaphor,
prev node: ComTripleCompose,
up to node: Subsystem Commands