Theoria.Rewrite.Proof.Binder (theoria v0.5.0)

Copy Markdown View Source

Experimental boundary helper for binder-path proof lifting attempts.

The shape may change before 1.0.

Summary

Functions

explain(step)

Functions

explain(step)

@spec explain(Theoria.Rewrite.Step.t()) :: Theoria.Rewrite.Proof.Capability.t()