type Bitset
import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitsetimport Base
55type Bitset is Type:
56 BS{len: Nat, depth: Nat, words: Array<Wd>}
import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitsetimport Base
55type Bitset is Type:
56 BS{len: Nat, depth: Nat, words: Array<Wd>}