NatMapNotForUserPurpose

This structure encapsulates some functions which provide access to the internal representation of natmaps. They are therefore not documented and their usage is strongly discouraged.

Signature of NatMapNotForUserPurpose

List of Import References :
See Array
See BOOL
See DENOTATION
See Map
See Nat
See NatMap
See Option
See Pair
See Seq
See Set

SIGNATURE NatMapNotForUserPurpose[codom]

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

IMPORT NatMap[codom] ONLY natMap
       Map[nat, <, codom] ONLY map
       Array[map] ONLY array
       Nat ONLY nat <

Parameter

SORT codom

FUN abs: array -> natMap
FUN rep: natMap -> array

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