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: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

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

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