# `Theoria.Env.Constant`
[🔗](https://github.com/elixir-vibe/theoria/blob/main/lib/theoria/env/constant.ex#L1)

A checked constant or definition in a kernel environment.

# `t`

```elixir
@type t() :: %Theoria.Env.Constant{
  type: Theoria.Term.t(),
  value: Theoria.Term.t() | nil
}
```

---

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