next node: Bag,
prev node: BagReduce,
up to node: Subsystem Bags


Bags

A more or less useful collection of functions for bags

Signature of Bags

List of Import References :
See BOOL
See Bag
See BagConv
See BagFilter
See BagFold
See BagMap
See BagReduce
See Char
See DENOTATION
See Nat
See Option
See Pair
See Seq
See String

SIGNATURE Bags

$Date: 1998/06/16 16:00:02 $ ($Revision: 1.1.1.1 $)

IMPORT 
       Bag COMPLETELY 
       BagConv COMPLETELY
       BagFilter COMPLETELY
       BagFold COMPLETELY
       BagMap COMPLETELY
       BagReduce COMPLETELY


next node: Bag,
prev node: BagReduce,
up to node: Subsystem Bags