Theory of Bit-Vectors: :code:`extract`
======================================


.. api-examples::
    ../../examples/api/cpp/extract.cpp
    ../../examples/api/python/extract.py