# `Theoria.Term.BVar`
[🔗](https://github.com/elixir-vibe/theoria/blob/main/lib/theoria/term.ex#L17)

A bound variable represented by a de Bruijn index.

# `t`

```elixir
@type t() :: %Theoria.Term.BVar{index: non_neg_integer()}
```

---

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