Module Single_value_abstraction.Known_bits

A bitvector abstraction representing information known about the known and unknown bits.