@hackage / bv-embed

Define embeddings of small bit vectors into larger ones