Theoria.Kernel.DefinitionAdmission (theoria v0.5.0)

Copy Markdown View Source

Trusted-adjacent admission checks for transparent definitions.

Summary

Functions

add(env, name, type, value, universe_params \\ [], opts \\ [])

Checks and installs a transparent definition declaration.

Functions

add(env, name, type, value, universe_params \\ [], opts \\ [])

@spec add(
  Theoria.Env.t(),
  Theoria.Env.name(),
  Theoria.Term.t(),
  Theoria.Term.t(),
  [atom()],
  keyword()
) ::
  {:ok, Theoria.Env.t()} | {:error, Theoria.Error.t()}

Checks and installs a transparent definition declaration.