Theoria.Term.Forall (theoria v0.1.0)

Copy Markdown View Source

Dependent function type. Non-dependent functions are encoded as forall types.

Summary

Types

t()

Types

t()

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