next node: BitsetMap,
prev node: BitsetFilter,
up to node: Subsystem Bitsets


BitsetFold

Signature of BitsetFold

List of Import References :
See BOOL
See Bitset
See DENOTATION
See Nat
See Option

SIGNATURE BitsetFold

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

--

IMPORT Bitset ONLY set
       Nat ONLY nat

FUN / : (nat ** nat -> nat) ** set -> nat
    -- folding of sets
    -- function f should be left-commutative:  x o (y o z) = y o (x o z)
    -- since reduction order is implementation dependent and should 
    -- not be relevant!
    -- informally
    -- + / {e0, e1, ..., en} == e0 + (e1 + ( ... + en) ... )
    -- undefined for empty sets


next node: BitsetMap,
prev node: BitsetFilter,
up to node: Subsystem Bitsets