Theoria.Rewrite.Proof.Capability (theoria v0.7.0)

Copy Markdown View Source

Experimental proof-lifting capability descriptor for Theoria 0.5.

The shape may change before 1.0.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Rewrite.Proof.Capability{
  description: String.t(),
  inner: t() | nil,
  reason: atom(),
  supported?: boolean()
}