11.5. Bitvectors🔗

Planned Content
  • Run-time and kernel representations of BitVec

  • API reference

  • Cross-reference to TBW chapter on bv_decide

Tracked at issue #106