List of Import References :
See BOOL
See Bag
See DENOTATION
See Nat
See Option
See Pair
See Seq
SIGNATURE BagMap[from ,< :from ** from -> bool, to, < :to ** to -> bool]
$Date: 1998/06/16 16:00:01 $ ($Revision: 1.1.1.1 $)
-- -- 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 Bag[from, <] ONLY bag Bag[to, <] ONLY bag FUN * : (from -> to)** bag[from, <] -> bag[to, <] -- f * s -- apply f to all elements of s
next node: BagReduce,
prev node: BagFold,
up to node: Subsystem Bags