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

Dependent function type. Non-dependent functions are encoded as forall types.

# `t`

```elixir
@type t() :: %Theoria.Term.Forall{
  body: Theoria.Term.t(),
  domain: Theoria.Term.t(),
  name: atom()
}
```

---

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