Theoria.Rewrite.Proof.Capability.Entry (theoria v0.5.0)

Copy Markdown View Source

Experimental proof capability matrix entry for Theoria 0.5.

The shape may change before 1.0.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Rewrite.Proof.Capability.Entry{
  capability: Theoria.Rewrite.Proof.Capability.t(),
  path: [atom()]
}