Theoria.Kernel.InductiveAdmission (theoria v0.5.0)

Copy Markdown View Source

Trusted-adjacent admission boundary for inductive declarations.

Summary

Functions

add(env, spec)

Functions

add(env, spec)

@spec add(Theoria.Env.t(), Theoria.Inductive.Spec.t()) ::
  {:ok, Theoria.Env.t()} | {:error, Theoria.Error.t()}