next node: NatMap,
prev node: NatMapReduce,
up to node: Subsystem Mapping Natural Numbers


NatMaps

A more or less useful collection of functions for maps with domain nat.

Signature of NatMaps

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