Module that describes QF_BV (closed quatifier-free formulas built over FixedSizeBitVector) logic.
Note that the functions and structs that are defined.