Theoria.Inductive.Parameter (theoria v0.4.0)

Copy Markdown View Source

Named parameter of an inductive family.

Summary

Types

t()

Types

t()

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