Theoria.Syntax.Refl (theoria v0.7.0)

Copy Markdown View Source

Named-syntax reflexivity proof.

Summary

Types

t()

Types

t()

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