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


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: 1998/06/16 16:00:02 $ ($Revision: 1.1.1.1 $)

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


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