next node: FileSystemConv,
prev node: Process,
up to node: Subsystem Unix


UserAndGroupConv

Signature of UserAndGroupConv

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