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