Theoria.Equation.Matcher.Descriptor.Field (theoria v0.3.0)

Copy Markdown View Source

Normalized constructor field shape for matcher descriptors.

Summary

Types

t()

Types

t()

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