Theoria.Syntax.EqRec (theoria v0.4.0)

Copy Markdown View Source

Named-syntax equality recursor.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Syntax.EqRec{
  base: Theoria.Syntax.t(),
  motive: Theoria.Syntax.t(),
  proof: Theoria.Syntax.t(),
  type: Theoria.Syntax.t()
}