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: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

IMPORT 
       NatMap COMPLETELY 
       NatMapConv COMPLETELY
       NatMapFilter COMPLETELY
       NatMapMap COMPLETELY
       NatMapReduce COMPLETELY

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