@hackage bv-embed0.1.0

Define embeddings of small bit vectors into larger ones

  • Categories

    • License

      BSD-3-Clause

    • Maintainer

      benselfridge@galois.com

    • Links

    • Versions

    • Installation

    • Dependencies (1)

    • Dependents (0)

    Data structures for defining embeddings of small bit vectors into larger ones. Functions that perform the embedding and extracting.