Theoria.Term.BVar (theoria v0.1.0)

Copy Markdown View Source

A bound variable represented by a de Bruijn index.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Term.BVar{index: non_neg_integer()}