Theoria.Env.Constant (theoria v0.1.0)

Copy Markdown View Source

A checked constant or definition in a kernel environment.

Summary

Types

t()

Types

t()

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