Theoria.Syntax.Eq (theoria v0.5.0)

Copy Markdown View Source

Named-syntax propositional equality.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Syntax.Eq{
  left: Theoria.Syntax.t(),
  right: Theoria.Syntax.t(),
  type: Theoria.Syntax.t()
}