Mapping on the codomain of a mapping.
List of Import References :
See BOOL
See DENOTATION
See Nat
See NatMap
See Option
See Pair
See Seq
See Set
SIGNATURE NatMapMap[codomFrom, codomTo]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
IMPORT NatMap[codomFrom] ONLY natMap
NatMap[codomTo] ONLY natMap
codomFrom, codomTo are
the types of the codomain before and after the mapping.
SORT codomFrom codomTo
f * m: apply f to all elements of codom of m
FUN * : (codomFrom -> codomTo) ** natMap[codomFrom] -> natMap[codomTo]
next node: NatMapReduce,
prev node: NatMapFilter,
up to node: Subsystem Mapping Natural Numbers