# `Zee3.Smt2`

# `smt2_like`

```elixir
@type smt2_like() :: t() | integer() | boolean() | list() | bitstring()
```

# `t`

```elixir
@type t() ::
  Zee3.Smt2.Int.t()
  | Zee3.Smt2.Real.t()
  | Zee3.Smt2.Symbol.t()
  | Zee3.Smt2.String.t()
  | Zee3.Smt2.BitVec.t()
  | Zee3.Smt2.List.t()
```

# `bit_vec`

```elixir
@spec bit_vec(bitstring()) :: t()
```

# `call`

```elixir
@spec call(binary(), [smt2_like()]) :: t()
```

# `integer`

```elixir
@spec integer(integer()) :: t()
```

# `is_smt2`
*macro* 

# `list`

```elixir
@spec list([smt2_like()]) :: t()
```

# `serialize`

# `string`

```elixir
@spec string(binary()) :: t()
```

# `symbol`

```elixir
@spec symbol(binary()) :: t()
```

# `to_smt2`

```elixir
@spec to_smt2(smt2_like()) :: t()
```

---

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