List of Import References :
See BOOL
See Char
See Com
See DENOTATION
See Denotation
See FileSystem
See Nat
See Option
See Pair
See ProcessCtrl
See Quadruple
See Real
See Seq
See Set
See Signal
See String
See Time
See UserAndGroup
See Void
See Wait
SIGNATURE WaitConv
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
IMPORT
Wait ONLY childstat: SORT
FUN ` : childstat -> denotation
-- EXITED(SUCCESS/FAILURE)/SIGNALLED(SIG...)/SIGNALLED(<NONPOSIX>)/
-- STOPPED(SIG...)/STOPPED(<NONPOSIX>)
next node: FileName,
prev node: Wait,
up to node: Subsystem Unix