List of Import References :
See BOOL
See DENOTATION
See Nat
See Option
See Seq
See Set
SIGNATURE SetMap[from ,< :from ** from -> bool, to, < :to ** to -> bool]
$Date: 1998/06/16 16:00:01 $ ($Revision: 1.1.1.1 $)
-- mappings of sets -- Parameter SORT from to FUN < : from ** from -> bool FUN < : to ** to -> bool -- total strict-order; in -- ~(x < y) AND ~(y < x) => x = y -- should = represent semantic equality IMPORT Set[from, <] ONLY set Set[to, <] ONLY set FUN * : (from -> to)** set[from, <] -> set[to, <] -- f * s -- apply f to all elements of s
next node: SetMapEnv,
prev node: SetReduce,
up to node: Subsystem Sets Proper