next node: Identity,
prev node: Control,
up to node: Subsystem General


Funct

Signature of Funct

List of Import References :
See BOOL
See DENOTATION

SIGNATURE Funct[from, to]

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

--
-- packing functions from "from" to "to"

-- Parameter
SORT from to

TYPE funct == asFunct(funct: from -> to)

FUN @ : funct ** from -> to        -- apply: f @ x == funct(f)(x)


next node: Identity,
prev node: Control,
up to node: Subsystem General