Theoria.Equation.Matcher.Indexed.Realization.EquationPlan (theoria v0.4.0)

Copy Markdown View Source

Realization plan for one indexed matcher equation.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Equation.Matcher.Indexed.Realization.EquationPlan{
  blockers: [atom()],
  constructor: atom(),
  lemma: Theoria.Equation.Lemma.t() | nil,
  name: atom(),
  proof_strategy: atom(),
  realizable?: boolean(),
  statement_type: Theoria.Term.t()
}