NatSets

A more or less useful collection of functions for "set[nat]" realized by bitsets.

Signature of NatSets

List of Import References :
See BOOL
See Bitset
See BitsetConv
See BitsetFilter
See BitsetFold
See BitsetMap
See BitsetReduce
See Char
See DENOTATION
See Nat
See Option
See Seq
See String

SIGNATURE NatSets

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

IMPORT 
       Bitset COMPLETELY 
       BitsetConv COMPLETELY
       BitsetFilter COMPLETELY
       BitsetFold COMPLETELY
       BitsetMap COMPLETELY
       BitsetReduce COMPLETELY

next node: Bitset,
prev node: BitsetReduce,
up to node: Subsystem Bitsets