9.4. Bitvectors

Planned Content
  • Run-time and kernel representations of BitVec

  • API reference

  • Cross-reference to TBW chapter on bv_decide

Tracked at issue #106