Theoria.Syntax.Let (theoria v0.6.0)

Copy Markdown View Source

Local definition with a named binder.

Summary

Types

t()

Types

t()

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