Theoria.Equality.Chain.Result (theoria v0.5.0)

Copy Markdown View Source

Proof term and strategy selected for an equality chain.

Summary

Types

strategy()
t()

Types

strategy()

@type strategy() :: :refl | :single | :transitive | :fallback_defeq

t()

@type t() :: %Theoria.Equality.Chain.Result{
  proof: Theoria.Term.t(),
  strategy: strategy()
}