Theoria.Simp.Step (theoria v0.3.0)

Experimental/internal API for 0.2; subject to change before 0.3. One simplifier rewrite step for tracing and debugging.

Summary

t()

@type t() :: %Theoria.Simp.Step{
  after: Theoria.Term.t(),
  before: Theoria.Term.t(),
  rule: atom(),
  source: atom()
}