Theoria.Equation.Recursor.Descriptor.Rule.Field (theoria v0.3.0)

Copy Markdown View Source

Constructor field shape in a recursor rule.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Equation.Recursor.Descriptor.Rule.Field{
  name: atom(),
  position: non_neg_integer(),
  recursive?: boolean(),
  recursive_indices: [Theoria.Term.t()],
  type: Theoria.Term.t()
}