Theoria.Equation.Matcher.Statement.Vec (theoria v0.4.0)

Internal indexed Vec statement planner for matcher equations.

Summary

@spec indexed(term(), Theoria.Equation.Matcher.Equation.t(), term()) ::
  {:ok, Theoria.Term.t()} | {:error, term()}