// -*- mode: java; -*- // Abstract data types. val bitset = bitset;