A more or less useful collection of functions for maps with domain nat.
List of Import References :
See BOOL
See Char
See DENOTATION
See Nat
See NatMap
See NatMapConv
See NatMapFilter
See NatMapMap
See NatMapReduce
See Option
See Pair
See Seq
See Set
See String
SIGNATURE NatMaps
$Date: 1998/06/16 16:00:04 $ ($Revision: 1.1.1.1 $)
IMPORT NatMap COMPLETELY NatMapConv COMPLETELY NatMapFilter COMPLETELY NatMapMap COMPLETELY NatMapReduce COMPLETELY
next node: NatMap,
prev node: NatMapReduce,
up to node: Subsystem Mapping Natural Numbers