Theoria.Syntax.Forall (theoria v0.7.0)

Copy Markdown View Source

Dependent function type with a named binder.

Summary

Types

t()

Types

t()

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