Theoria.Kernel.GeneratedTerm (theoria v0.5.0)

Copy Markdown View Source

A generated closed term paired with its expected type for assurance tests.

Summary

Types

t()

Functions

new(env, term, type)

Types

t()

@type t() :: %Theoria.Kernel.GeneratedTerm{
  env: Theoria.Env.t(),
  term: Theoria.Term.t(),
  type: Theoria.Term.t()
}

Functions

new(env, term, type)

@spec new(Theoria.Env.t(), Theoria.Term.t(), Theoria.Term.t()) :: t()