Theoria.Equation.Extension.Registry (theoria v0.3.0)

Copy Markdown View Source

In-memory registry snapshot for generated equation metadata.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Equation.Extension.Registry{
  definitions: %{optional(atom()) => Theoria.Equation.Info.t()},
  equation_identities: %{optional(atom()) => [atom()]},
  matcher_equation_identities: %{optional(atom()) => [atom()]},
  matchers: %{optional(atom()) => Theoria.Env.Matcher.t()},
  matchers_by_source: %{optional(atom()) => [atom()]},
  theorem_sources: %{optional(atom()) => atom()},
  unfold_identities: %{optional(atom()) => atom()}
}