Subsystem Bags

Module Hierarchy Visualization (top-down)

Bags

• Bag
• BagConv
• BagFilter
• BagFold
• BagMap
• BagReduce
• Bags

next node: Bag,
prev node: NatSets,
up to node: Subsystem SetLike