next node: FileSystem,
prev node: BinFile,
up to node: Subsystem Unix


FileConv

Signature of FileConv

List of Import References :
See BOOL
See Char
See Com
See DENOTATION
See File
See Int
See Nat
See Option
See Seq
See String
See Void

SIGNATURE FileConv

$Date: 1998/06/16 16:00:19 $ ($Revision: 1.1.1.1 $)

--

IMPORT File ONLY file

FUN ` : file -> denotation

-- f` == "some file"


next node: FileSystem,
prev node: BinFile,
up to node: Subsystem Unix