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: 1998/06/16 16:00:19 $ ($Revision: 1.1.1.1 $)
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