Theoria.Inductive.Index (theoria v0.6.0)

Copy Markdown View Source

Named index of an inductive family.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Inductive.Index{name: atom(), type: Theoria.Term.t()}