# `Zee3.Smt2.BitVec`

Module to represent Z3 bit vector literals.

# `t`

```elixir
@type t() :: %Zee3.Smt2.BitVec{value: term()}
```

---

*Consult [api-reference.md](api-reference.md) for complete listing*