next node: TreeMapEnv,
prev node: TreeIndex,
up to node: Subsystem Binary Trees


TreeMap

The usual mapping on aggregate types: apply a function to all elements of the tree.

Signature of TreeMap

List of Import References :
See BOOL
See DENOTATION
See Nat
See Option
See Seq
See Tree

SIGNATURE TreeMap[from, to]

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

IMPORT Tree[from] ONLY tree
       Tree[to] ONLY tree

Parameter

from is the original data type of the elements of the tree, to is the new data type.

SORT from to

Mapping

FUN * : (from -> to) ** tree[from] -> tree[to]


next node: TreeMapEnv,
prev node: TreeIndex,
up to node: Subsystem Binary Trees