Theoria.Syntax.Var (theoria v0.5.0)

Copy Markdown View Source

A named bound variable.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Syntax.Var{name: atom()}