Theoria.Syntax.Lam (theoria v0.3.0)

Copy Markdown View Source

Lambda abstraction with a named binder.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Syntax.Lam{
  body: Theoria.Syntax.t(),
  domain: Theoria.Syntax.t(),
  name: atom()
}