// Abstract data types. val bitset = bitset;