Theoria.Inductive.Recursor (theoria v0.7.0)

Copy Markdown View Source

Recursor or induction principle declaration in an inductive specification.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Inductive.Recursor{
  name: atom(),
  reduction: Theoria.Env.Reduction.t() | nil,
  type: Theoria.Term.t()
}