List of Import References :
See BOOL
See Char
See Com
See DENOTATION
See Denotation
See Nat
See Option
See Seq
See Set
See UserAndGroup
See Void
SIGNATURE UserAndGroupConv
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
IMPORT
UserAndGroup ONLY userid: SORT user: SORT groupid: SORT group: SORT
FUN ` : userid -> denotation
-- numerical output
` : user -> denotation
-- /etc/passwd-like output
FUN ` : groupid -> denotation
-- numerical output
` : group -> denotation
-- /etc/group-like output
next node: FileSystemConv,
prev node: Process,
up to node: Subsystem Unix