Theoria.Term.Refl (theoria v0.6.0)

Copy Markdown View Source

Reflexivity proof for propositional equality.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Term.Refl{value: Theoria.Term.t()}