Theoria.Kernel.Spec (theoria v0.4.0)

Elixir-authored metadata for Theoria's trusted kernel fragment.

Summary

judgments()

Returns the kernel judgments covered by the spec metadata.

Returns term constructor tags currently supported by the reference checker.

syntax()

Returns the term constructors in the first reference-checker fragment.

Returns term constructor tags intentionally left for later reference-checker phases.

@spec judgments() :: [atom()]

Returns the kernel judgments covered by the spec metadata.

@spec supported_terms() :: [atom()]

Returns term constructor tags currently supported by the reference checker.

@spec syntax() :: keyword([atom()])

Returns the term constructors in the first reference-checker fragment.

@spec unsupported_terms() :: [atom()]

Returns term constructor tags intentionally left for later reference-checker phases.